[/] [trunk/] [src/] [maketest/] [maketest.sml] - Rev 34

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
34 Fix a nasty bug in ClockExprTrans.negate: it was turning invariant forall
bindings into transition exists bindings. But, the invariant is not negated,
so the bindings shouldn't change.

Also tidied up the debugging output. It is more hierarchical now.		 tbourke 1879d 23h 11m /trunk/src/maketest/maketest.sml
33 Improve debugging indentation output. tbourke 1880d 04h 51m /trunk/src/maketest/maketest.sml
32 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.		 tbourke 1880d 06h 23m /trunk/src/maketest/maketest.sml
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1880d 10h 44m /trunk/src/maketest/maketest.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 1881d 05h 30m /trunk/src/maketest/maketest.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 1883d 04h 10m /trunk/src/maketest/maketest.sml
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 1883d 05h 57m /trunk/src/maketest/maketest.sml
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1999d 04h 24m /trunk/src/maketest/maketest.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 2005d 09h 40m /trunk/src/maketest/maketest.sml
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2012d 06h 31m /trunk/src/maketest/maketest.sml
17 Add MCS51 feature. tbourke 2022d 23h 35m /trunk/src/maketest/maketest.sml
11 Rename into MoscowML/sml.net format. tbourke 2030d 04h 30m /trunk/src/maketest/maketest.sml
7 Add Id as a keyword for all files. tbourke 2032d 04h 21m /trunk/src/maketest/make-test.sml
4 Urpal! tbourke 2032d 04h 49m /trunk/src/maketest/make-test.sml