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

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
35 Fix a nasty bug when combining location invariant expressions with
transition guards: the selection bindings of the transition guard were not
being considered properly leading to improper variable captures by foralls
in the location invariant expression.		 tbourke 1881d 02h 37m /trunk/src/maketest/actiontrans.sml
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 1881d 18h 43m /trunk/src/maketest/actiontrans.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 1882d 01h 55m /trunk/src/maketest/actiontrans.sml
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1882d 06h 16m /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 1883d 01h 02m /trunk/src/maketest/actiontrans.sml
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1999d 16h 54m /trunk/src/maketest/actiontrans.sml
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 2000d 23h 56m /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 2007d 05h 12m /trunk/src/maketest/actiontrans.sml
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2014d 02h 03m /trunk/src/maketest/actiontrans.sml
11 Rename into MoscowML/sml.net format. tbourke 2032d 00h 02m /trunk/src/maketest/actiontrans.sml
7 Add Id as a keyword for all files. tbourke 2033d 23h 53m /trunk/src/maketest/action-trans.sml
4 Urpal! tbourke 2034d 00h 21m /trunk/src/maketest/action-trans.sml