[/] [trunk/] - 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
[NODE][FOLDER] doc/ View Log Tarball RSS feed
[NODE][FOLDER] src/ View Log Tarball RSS feed
[NODE][FILE] README View Log RSS feed