[/] [trunk/] - Rev 63

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
63 Add railway example. tbourke 1761d 00h 32m /trunk/
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1762d 19h 38m /trunk/
60 Continue tidying up the urpal source directories. tbourke 1776d 02h 43m /trunk/
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1776d 07h 36m /trunk/
58 Fix up testing to handle urpal failures. tbourke 1789d 04h 14m /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 1789d 04h 54m /trunk/
56 Tests for synchronisations on broadcast channels. tbourke 1789d 05h 16m /trunk/
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1789d 05h 16m /trunk/
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1791d 01h 44m /trunk/
53 Improve verification by Uppaal. tbourke 1791d 07h 02m /trunk/
52 Improve verification by Uppaal. tbourke 1791d 07h 10m /trunk/
51 Incorporate a sanity check via verification in Uppaal. tbourke 1791d 23h 19m /trunk/
50 Add a regression test framework. tbourke 1792d 03h 44m /trunk/
49 Improvemens ot accuracy of split zone detection. tbourke 1792d 23h 55m /trunk/
48 Bump the version number. tbourke 1864d 01h 11m /trunk/
47 Implement new technique for handling channel arrays. tbourke 1864d 01h 12m /trunk/
46 Rename the xml directory to uppaalxml. tbourke 1864d 19h 27m /trunk/
45 Rename the parse directory to uppaal. tbourke 1864d 19h 30m /trunk/
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1864d 19h 35m /trunk/
43 Remove the pos field from expressions. tbourke 1866d 00h 14m /trunk/