[/] [trunk/] [src] - Rev 67

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
67 Ignore .cm directories. tbourke 1728d 19h 57m /trunk/src
66 Add a copyright string to -v and -h options. tbourke 1728d 20h 00m /trunk/src
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 1729d 23h 07m /trunk/src
63 Add railway example. tbourke 1733d 15h 28m /trunk/src
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1735d 10h 34m /trunk/src
60 Continue tidying up the urpal source directories. tbourke 1748d 17h 40m /trunk/src
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1748d 22h 33m /trunk/src
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 19h 50m /trunk/src
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1761d 20h 13m /trunk/src
49 Improvemens ot accuracy of split zone detection. tbourke 1765d 14h 52m /trunk/src
48 Bump the version number. tbourke 1836d 16h 07m /trunk/src
47 Implement new technique for handling channel arrays. tbourke 1836d 16h 08m /trunk/src
46 Rename the xml directory to uppaalxml. tbourke 1837d 10h 24m /trunk/src
45 Rename the parse directory to uppaal. tbourke 1837d 10h 27m /trunk/src
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1837d 10h 32m /trunk/src
43 Remove the pos field from expressions. tbourke 1838d 15h 11m /trunk/src
42 Make declaration into a functor. tbourke 1838d 15h 58m /trunk/src
41 No need for expression to be a functor. tbourke 1838d 16h 00m /trunk/src
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1870d 15h 22m /trunk/src
35 Fix a nasty bug when combining location invariant expressions with
transition guards: the selection bindings of the transition guard were not
being considered properly leading to improper variable captures by foralls
in the location invariant expression.		 tbourke 1876d 18h 59m /trunk/src