[/] [trunk/] [src/] - Rev 32

Last modification (Rev 32, 2008-03-31 03:36:59 GMT)

Author:
tbourke
Log message:
Added warnings for urgent channels leaving locations with invariants
containing clocks as they may lead to `Clock guards are not allowed on
urgent edges' warnings.
Path
/trunk/src/maketest/actiontrans.sml
/trunk/src/maketest/maketest.sml
/trunk/src/parse/environment.sig
/trunk/src/parse/environment.sml
/trunk/src/parse/expression.sig
/trunk/src/parse/expressionfn.sml