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

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1733d 10h 55m /trunk/src/maketest/actiontrans.sml
43 Remove the pos field from expressions. tbourke 1836d 15h 31m /trunk/src/maketest/actiontrans.sml
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1868d 15h 42m /trunk/src/maketest/actiontrans.sml
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 1874d 19h 20m /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 1875d 11h 27m /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 1875d 18h 39m /trunk/src/maketest/actiontrans.sml
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1875d 22h 59m /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 1876d 17h 45m /trunk/src/maketest/actiontrans.sml
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1993d 09h 37m /trunk/src/maketest/actiontrans.sml
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1994d 16h 39m /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 2000d 21h 55m /trunk/src/maketest/actiontrans.sml
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2007d 18h 46m /trunk/src/maketest/actiontrans.sml
11 Rename into MoscowML/sml.net format. tbourke 2025d 16h 45m /trunk/src/maketest/actiontrans.sml
7 Add Id as a keyword for all files. tbourke 2027d 16h 36m /trunk/src/maketest/action-trans.sml
4 Urpal! tbourke 2027d 17h 04m /trunk/src/maketest/action-trans.sml