] - Rev 45
Go to most recent revision
Compare with Previous
Clear current filter
Rename the parse directory to uppaal.
1835d 16h 52m
Just after implementing the improved channel array technique.
The code compiles but has not been tested.
1835d 16h 57m
Remove the pos field from expressions.
1836d 21h 36m
Unexpanded types in selection bindings were causing exceptions.
1868d 21h 47m
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.
1875d 01h 25m
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.
1875d 17h 31m
Improve debugging indentation output.
1875d 23h 11m
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.
1876d 00h 43m
Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.
1876d 05h 04m
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)
1876d 23h 50m
Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.
1878d 22h 30m
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.
1879d 00h 17m
Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.
1993d 15h 42m
Update compilation under MLton.
Add multiply clocks feature.
1994d 22h 44m
Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.
2001d 04h 00m
Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.
2008d 00h 51m
Add MCS51 feature.
2018d 17h 56m
Add .ml files for building with Poly/ML.
2022d 05h 13m
Fix bugs in renaming.
2025d 22h 39m
Rename into MoscowML/sml.net format.
2025d 22h 50m
Timothy Bourke using WebSVN [trunk]
This page was dynamically generated.