[/] [trunk/] [src/] [maketest/] - 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 1875d 18h 14m /trunk/src/maketest/
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 1876d 13h 00m /trunk/src/maketest/
27 Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.		 tbourke 1878d 11h 40m /trunk/src/maketest/
26 The ClockExpression.fromExpr function was faulty because Expression.filter
did not properly respect forall and exists bindings. This has been fixed by
shifting filter into the Environment module.		 tbourke 1878d 13h 27m /trunk/src/maketest/
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1993d 04h 52m /trunk/src/maketest/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1994d 11h 54m /trunk/src/maketest/
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 2000d 17h 10m /trunk/src/maketest/
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2007d 14h 00m /trunk/src/maketest/
17 Add MCS51 feature. tbourke 2018d 07h 05m /trunk/src/maketest/
16 Add .ml files for building with Poly/ML. tbourke 2021d 18h 23m /trunk/src/maketest/
15 Fix bugs in renaming. tbourke 2025d 11h 48m /trunk/src/maketest/
11 Rename into MoscowML/sml.net format. tbourke 2025d 11h 59m /trunk/src/maketest/
7 Add Id as a keyword for all files. tbourke 2027d 11h 51m /trunk/src/maketest/
4 Urpal! tbourke 2027d 12h 19m /trunk/src/maketest/