[/] [trunk/] [src/] [maketest/] [transitionflipper.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 07h 02m /trunk/src/maketest/transitionflipper.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 01h 48m /trunk/src/maketest/transitionflipper.sml
27 Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.		 tbourke 1880d 00h 28m /trunk/src/maketest/transitionflipper.sml
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1994d 17h 40m /trunk/src/maketest/transitionflipper.sml
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2009d 02h 49m /trunk/src/maketest/transitionflipper.sml
11 Rename into MoscowML/sml.net format. tbourke 2027d 00h 48m /trunk/src/maketest/transitionflipper.sml
7 Add Id as a keyword for all files. tbourke 2029d 00h 39m /trunk/src/maketest/trans-flip.sml
4 Urpal! tbourke 2029d 01h 07m /trunk/src/maketest/trans-flip.sml