[/] [trunk/] [src/] [maketest/] - Rev 72

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
72 Avoid introducing transitions for clock-free expressions that can instead be
grouped using disjunction.		 tbourke 1530d 08h 31m /trunk/src/maketest/
67 Ignore .cm directories. tbourke 1729d 18h 18m /trunk/src/maketest/
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1736d 08h 55m /trunk/src/maketest/
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1762d 18h 33m /trunk/src/maketest/
49 Improvemens ot accuracy of split zone detection. tbourke 1766d 13h 13m /trunk/src/maketest/
47 Implement new technique for handling channel arrays. tbourke 1837d 14h 29m /trunk/src/maketest/
45 Rename the parse directory to uppaal. tbourke 1838d 08h 47m /trunk/src/maketest/
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1838d 08h 52m /trunk/src/maketest/
43 Remove the pos field from expressions. tbourke 1839d 13h 31m /trunk/src/maketest/
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1871d 13h 42m /trunk/src/maketest/
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 1877d 17h 20m /trunk/src/maketest/
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 1878d 09h 26m /trunk/src/maketest/
33 Improve debugging indentation output. tbourke 1878d 15h 06m /trunk/src/maketest/
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 1878d 16h 38m /trunk/src/maketest/
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1878d 20h 59m /trunk/src/maketest/
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 1879d 15h 45m /trunk/src/maketest/
27 Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.		 tbourke 1881d 14h 25m /trunk/src/maketest/
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 1881d 16h 12m /trunk/src/maketest/
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1996d 07h 37m /trunk/src/maketest/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1997d 14h 39m /trunk/src/maketest/