10/08/2002

1. Coding issues.

A. Edge stabilization using timing.

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

B. Coloring of the initial state of state graph.

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 data structures memory after use.

Status: Needs to be done.

2. Get Latex working under Cygwin.

Status: Yeah, someday.