[/] - Rev 66

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
66 Add a copyright string to -v and -h options. tbourke 1730d 16h 09m /
65 OS.Path.joinDirFile fails with a Path exception on Windows when Unix-style
paths are used. Added fixes to catch the exception and fail more gracefully.		 tbourke 1731d 19h 17m /
64 Add railway example.; tbourke 1732d 12h 49m /
63 Add railway example. tbourke 1735d 11h 37m /
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1737d 06h 43m /
61 Add the standard branches subdirectory. tbourke 1742d 12h 20m /
60 Continue tidying up the urpal source directories. tbourke 1750d 13h 49m /
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1750d 18h 42m /
58 Fix up testing to handle urpal failures. tbourke 1763d 15h 20m /
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 1763d 15h 59m /
56 Tests for synchronisations on broadcast channels. tbourke 1763d 16h 21m /
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1763d 16h 22m /
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1765d 12h 49m /
53 Improve verification by Uppaal. tbourke 1765d 18h 08m /
52 Improve verification by Uppaal. tbourke 1765d 18h 15m /
51 Incorporate a sanity check via verification in Uppaal. tbourke 1766d 10h 24m /
50 Add a regression test framework. tbourke 1766d 14h 49m /
49 Improvemens ot accuracy of split zone detection. tbourke 1767d 11h 01m /
48 Bump the version number. tbourke 1838d 12h 16m /
47 Implement new technique for handling channel arrays. tbourke 1838d 12h 17m /