[/] [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 1764d 20h 02m /trunk
53 Improve verification by Uppaal. tbourke 1765d 01h 20m /trunk
52 Improve verification by Uppaal. tbourke 1765d 01h 28m /trunk
51 Incorporate a sanity check via verification in Uppaal. tbourke 1765d 17h 36m /trunk
50 Add a regression test framework. tbourke 1765d 22h 01m /trunk
49 Improvemens ot accuracy of split zone detection. tbourke 1766d 18h 13m /trunk
48 Bump the version number. tbourke 1837d 19h 29m /trunk
47 Implement new technique for handling channel arrays. tbourke 1837d 19h 29m /trunk
46 Rename the xml directory to uppaalxml. tbourke 1838d 13h 45m /trunk
45 Rename the parse directory to uppaal. tbourke 1838d 13h 48m /trunk
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1838d 13h 53m /trunk
43 Remove the pos field from expressions. tbourke 1839d 18h 32m /trunk
42 Make declaration into a functor. tbourke 1839d 19h 20m /trunk
41 No need for expression to be a functor. tbourke 1839d 19h 22m /trunk
37 Add files used in the report. tbourke 1839d 21h 08m /trunk
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1871d 18h 43m /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 1877d 22h 20m /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 1878d 14h 27m /trunk
33 Improve debugging indentation output. tbourke 1878d 20h 07m /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 1878d 21h 39m /trunk