] - Rev 35
Go to most recent revision
Compare with Previous
Clear current filter
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.
1881d 02h 37m
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.
1881d 18h 43m
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.
1882d 01h 55m
Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.
1882d 06h 16m
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)
1883d 01h 02m
Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.
1999d 16h 54m
Update compilation under MLton.
Add multiply clocks feature.
2000d 23h 56m
Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.
2007d 05h 12m
Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.
2014d 02h 03m
Rename into MoscowML/sml.net format.
2032d 00h 02m
Add Id as a keyword for all files.
2033d 23h 53m
2034d 00h 21m
Timothy Bourke using WebSVN [trunk]
This page was dynamically generated.