10/01/2002

1. Coloring code for decomposition.

A. Writing .acc files

Status: Completed. Needs to be tested against atacs output using verification.

B. Initial state of state graph. How to handle during coloring?

Propagate stabilized edges from SI and timed hazard checking first.

Propagate start state colors last.

Status: Coding basically done. Needs to be tested.

C. Add code to free memory after use.

Status: Needs to be done.

2. Code for determining stabilized edges using timing.

Status: Under development. See algorithm and status on hazard algorithm links.

3. Acquire and install Vmware for my laptop.

Status: Not going to do. Cygwin is working fine.

4. Get Latex working under Cygwin.

Status: Yeah, someday.