10/22/2002

 

  1. Coding issues.

A.      Edge stabilization using timing.

Status:  Done.

B.      Coloring of the initial state of state graph.

Propagate stable edges from the start state as for as possible with a “soft” coloring. Any “soft” color can be overwritten by a hard color from a stabilized edge. All soft colors are treated as non-stabilized edges or states in the final colored state graph .

Status:   Done.

C.      Add code to free data structures memory after use.

Status:   Needs to be done.

 

  1. Trouble with alu1b.csp file.

 

  1. Get Latex working under Cygwin.

Status:  Yeah, someday.