[/] [trunk/] - Rev 62

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1734d 23h 42m /trunk/
60 Continue tidying up the urpal source directories. tbourke 1748d 06h 48m /trunk/
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1748d 11h 41m /trunk/
58 Fix up testing to handle urpal failures. tbourke 1761d 08h 19m /trunk/
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 1761d 08h 58m /trunk/
56 Tests for synchronisations on broadcast channels. tbourke 1761d 09h 20m /trunk/
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1761d 09h 21m /trunk/
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1763d 05h 48m /trunk/
53 Improve verification by Uppaal. tbourke 1763d 11h 06m /trunk/
52 Improve verification by Uppaal. tbourke 1763d 11h 14m /trunk/
51 Incorporate a sanity check via verification in Uppaal. tbourke 1764d 03h 23m /trunk/
50 Add a regression test framework. tbourke 1764d 07h 48m /trunk/
49 Improvemens ot accuracy of split zone detection. tbourke 1765d 04h 00m /trunk/
48 Bump the version number. tbourke 1836d 05h 15m /trunk/
47 Implement new technique for handling channel arrays. tbourke 1836d 05h 16m /trunk/
46 Rename the xml directory to uppaalxml. tbourke 1836d 23h 31m /trunk/
45 Rename the parse directory to uppaal. tbourke 1836d 23h 35m /trunk/
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1836d 23h 40m /trunk/
43 Remove the pos field from expressions. tbourke 1838d 04h 19m /trunk/
42 Make declaration into a functor. tbourke 1838d 05h 06m /trunk/