[/] - Rev 31

Last modification (Rev 31 2008-03-30 23:16:19 GMT)

Author:
tbourke
Log message:
Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.
Path Log Tarball RSS feed
[FOLDER] trunk/ View Log Tarball RSS feed