[/] [tags/] [urpal-1.0.0] - Rev 71

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
71 Release: urpal-1.0.0 tbourke 1755d 22h 55m /tags/urpal-1.0.0
70 Remove the TODO file. Redo the README file. tbourke 1755d 23h 45m /trunk
69 Add a '.exe' suffix when running on Windows. tbourke 1757d 03h 08m /trunk
68 Rename expressionpp.sml -> expressionppfn.sml
Adjust compilation files, particularly for Poly/ML.
Add targets for transforming lex and grm files.
Include lex, grm and the version.sml file in the source distribution.		 tbourke 1757d 04h 23m /trunk
67 Ignore .cm directories. tbourke 1758d 02h 55m /trunk
66 Add a copyright string to -v and -h options. tbourke 1758d 02h 58m /trunk
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 1759d 06h 05m /trunk
64 Add railway example.; tbourke 1759d 23h 37m /trunk
63 Add railway example. tbourke 1762d 22h 26m /trunk
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1764d 17h 32m /trunk
60 Continue tidying up the urpal source directories. tbourke 1778d 00h 37m /trunk
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1778d 05h 30m /trunk
58 Fix up testing to handle urpal failures. tbourke 1791d 02h 08m /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 1791d 02h 48m /trunk
56 Tests for synchronisations on broadcast channels. tbourke 1791d 03h 10m /trunk
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1791d 03h 10m /trunk
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1792d 23h 38m /trunk
53 Improve verification by Uppaal. tbourke 1793d 04h 56m /trunk
52 Improve verification by Uppaal. tbourke 1793d 05h 04m /trunk
51 Incorporate a sanity check via verification in Uppaal. tbourke 1793d 21h 13m /trunk