Timothy Bourke - Urpal: - urpal - Rev 19

[/] [trunk/] [src/] [maketest/] - Rev 19

Author:: tbourke
Log message:: Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.

Path
/trunk/src/cmdlang/cmdlang.grm
/trunk/src/cmdlang/ntautil.sml
/trunk/src/cmdlang/nta_util.sig
/trunk/src/maketest/actiontrans.sml
/trunk/src/maketest/clkexprtrans.sml
/trunk/src/maketest/clockexpression.sml
/trunk/src/maketest/clock_expression.sig
/trunk/src/maketest/maketest.sml
/trunk/src/xml/nta.sig
/trunk/src/xml/ntafn.sml