[/] [trunk] - Rev 54

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1767d 13h 42m /trunk
53 Improve verification by Uppaal. tbourke 1767d 19h 00m /trunk
52 Improve verification by Uppaal. tbourke 1767d 19h 08m /trunk
51 Incorporate a sanity check via verification in Uppaal. tbourke 1768d 11h 17m /trunk
50 Add a regression test framework. tbourke 1768d 15h 42m /trunk
49 Improvemens ot accuracy of split zone detection. tbourke 1769d 11h 54m /trunk
48 Bump the version number. tbourke 1840d 13h 09m /trunk
47 Implement new technique for handling channel arrays. tbourke 1840d 13h 10m /trunk
46 Rename the xml directory to uppaalxml. tbourke 1841d 07h 25m /trunk
45 Rename the parse directory to uppaal. tbourke 1841d 07h 28m /trunk
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1841d 07h 33m /trunk
43 Remove the pos field from expressions. tbourke 1842d 12h 12m /trunk
42 Make declaration into a functor. tbourke 1842d 13h 00m /trunk
41 No need for expression to be a functor. tbourke 1842d 13h 02m /trunk
37 Add files used in the report. tbourke 1842d 14h 48m /trunk
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1874d 12h 23m /trunk
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 1880d 16h 01m /trunk
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 08h 07m /trunk
33 Improve debugging indentation output. tbourke 1881d 13h 47m /trunk
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 1881d 15h 19m /trunk