[/] - Rev 59

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1749d 09h 46m /
58 Fix up testing to handle urpal failures. tbourke 1762d 06h 24m /
57 Work around a difference between SML/NJ (110.65) and MLton 20070826.
In the former Posix.Signal.toWord returns a Word32.word, whereas in the
latter it is a Word64.word.		 tbourke 1762d 07h 04m /
56 Tests for synchronisations on broadcast channels. tbourke 1762d 07h 26m /
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1762d 07h 26m /
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1764d 03h 54m /
53 Improve verification by Uppaal. tbourke 1764d 09h 12m /
52 Improve verification by Uppaal. tbourke 1764d 09h 20m /
51 Incorporate a sanity check via verification in Uppaal. tbourke 1765d 01h 29m /
50 Add a regression test framework. tbourke 1765d 05h 54m /
49 Improvemens ot accuracy of split zone detection. tbourke 1766d 02h 06m /
48 Bump the version number. tbourke 1837d 03h 21m /
47 Implement new technique for handling channel arrays. tbourke 1837d 03h 22m /
46 Rename the xml directory to uppaalxml. tbourke 1837d 21h 37m /
45 Rename the parse directory to uppaal. tbourke 1837d 21h 40m /
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1837d 21h 45m /
43 Remove the pos field from expressions. tbourke 1839d 02h 24m /
42 Make declaration into a functor. tbourke 1839d 03h 12m /
41 No need for expression to be a functor. tbourke 1839d 03h 14m /
40 Shift into the tags subdirectory. tbourke 1839d 04h 58m /