[/] - Rev 55

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1758d 15h 13m /
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1760d 11h 41m /
53 Improve verification by Uppaal. tbourke 1760d 16h 59m /
52 Improve verification by Uppaal. tbourke 1760d 17h 07m /
51 Incorporate a sanity check via verification in Uppaal. tbourke 1761d 09h 16m /
50 Add a regression test framework. tbourke 1761d 13h 41m /
49 Improvemens ot accuracy of split zone detection. tbourke 1762d 09h 53m /
48 Bump the version number. tbourke 1833d 11h 08m /
47 Implement new technique for handling channel arrays. tbourke 1833d 11h 09m /
46 Rename the xml directory to uppaalxml. tbourke 1834d 05h 24m /
45 Rename the parse directory to uppaal. tbourke 1834d 05h 27m /
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1834d 05h 33m /
43 Remove the pos field from expressions. tbourke 1835d 10h 11m /
42 Make declaration into a functor. tbourke 1835d 10h 59m /
41 No need for expression to be a functor. tbourke 1835d 11h 01m /
40 Shift into the tags subdirectory. tbourke 1835d 12h 46m /
39 Take a snapshot before implementing the improved channel array algorithm. tbourke 1835d 12h 46m /
38 Add a tags subdirectory. tbourke 1835d 12h 47m /
37 Add files used in the report. tbourke 1835d 12h 47m /
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1867d 10h 23m /