[/] - Rev 72

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
72 Avoid introducing transitions for clock-free expressions that can instead be
grouped using disjunction.		 tbourke 1557d 22h 00m /
71 Release: urpal-1.0.0 tbourke 1755d 03h 48m /
70 Remove the TODO file. Redo the README file. tbourke 1755d 04h 37m /
69 Add a '.exe' suffix when running on Windows. tbourke 1756d 08h 00m /
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 1756d 09h 16m /
67 Ignore .cm directories. tbourke 1757d 07h 47m /
66 Add a copyright string to -v and -h options. tbourke 1757d 07h 50m /
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 1758d 10h 57m /
64 Add railway example.; tbourke 1759d 04h 29m /
63 Add railway example. tbourke 1762d 03h 18m /
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1763d 22h 24m /
61 Add the standard branches subdirectory. tbourke 1769d 04h 01m /
60 Continue tidying up the urpal source directories. tbourke 1777d 05h 29m /
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1777d 10h 22m /
58 Fix up testing to handle urpal failures. tbourke 1790d 07h 00m /
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 1790d 07h 40m /
56 Tests for synchronisations on broadcast channels. tbourke 1790d 08h 02m /
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1790d 08h 02m /
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1792d 04h 30m /
53 Improve verification by Uppaal. tbourke 1792d 09h 48m /
52 Improve verification by Uppaal. tbourke 1792d 09h 56m /
51 Incorporate a sanity check via verification in Uppaal. tbourke 1793d 02h 05m /
50 Add a regression test framework. tbourke 1793d 06h 30m /
49 Improvemens ot accuracy of split zone detection. tbourke 1794d 02h 42m /
48 Bump the version number. tbourke 1865d 03h 57m /
47 Implement new technique for handling channel arrays. tbourke 1865d 03h 58m /
46 Rename the xml directory to uppaalxml. tbourke 1865d 22h 13m /
45 Rename the parse directory to uppaal. tbourke 1865d 22h 16m /
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1865d 22h 22m /
43 Remove the pos field from expressions. tbourke 1867d 03h 00m /