[/] [trunk/] [src/] [maketest/] [actiontrans.sml] - Rev 31

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1877d 13h 38m /trunk/src/maketest/actiontrans.sml
29 Implement ATrans.reduceSelectIds so that Urpal is a bit more flexible about
selection bindings used around subexpressions without clocks in guards and
not in channel array subscripts. (see 20080329)		 tbourke 1878d 08h 24m /trunk/src/maketest/actiontrans.sml
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1995d 00h 16m /trunk/src/maketest/actiontrans.sml
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1996d 07h 18m /trunk/src/maketest/actiontrans.sml
19 Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.		 tbourke 2002d 12h 34m /trunk/src/maketest/actiontrans.sml
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2009d 09h 25m /trunk/src/maketest/actiontrans.sml
11 Rename into MoscowML/sml.net format. tbourke 2027d 07h 24m /trunk/src/maketest/actiontrans.sml
7 Add Id as a keyword for all files. tbourke 2029d 07h 15m /trunk/src/maketest/action-trans.sml
4 Urpal! tbourke 2029d 07h 43m /trunk/src/maketest/action-trans.sml