[/] [trunk/] [src/] - Rev 75

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
75 Fix a bug in parsing record types. tbourke 308d 06h 47m /trunk/src/
74 Adjust for compilation on Linux. tbourke 308d 06h 47m /trunk/src/
72 Avoid introducing transitions for clock-free expressions that can instead be
grouped using disjunction.		 tbourke 1532d 18h 35m /trunk/src/
70 Remove the TODO file. Redo the README file. tbourke 1730d 01h 12m /trunk/src/
69 Add a '.exe' suffix when running on Windows. tbourke 1731d 04h 35m /trunk/src/
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 1731d 05h 50m /trunk/src/
67 Ignore .cm directories. tbourke 1732d 04h 22m /trunk/src/
66 Add a copyright string to -v and -h options. tbourke 1732d 04h 24m /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 1733d 07h 32m /trunk/src/
63 Add railway example. tbourke 1736d 23h 53m /trunk/src/
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1738d 18h 59m /trunk/src/
60 Continue tidying up the urpal source directories. tbourke 1752d 02h 04m /trunk/src/
59 Wrap call to Urpal.main with OS.Process.exit. tbourke 1752d 06h 57m /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 1765d 04h 15m /trunk/src/
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1765d 04h 37m /trunk/src/
49 Improvemens ot accuracy of split zone detection. tbourke 1768d 23h 16m /trunk/src/
48 Bump the version number. tbourke 1840d 00h 32m /trunk/src/
47 Implement new technique for handling channel arrays. tbourke 1840d 00h 33m /trunk/src/
46 Rename the xml directory to uppaalxml. tbourke 1840d 18h 48m /trunk/src/
45 Rename the parse directory to uppaal. tbourke 1840d 18h 51m /trunk/src/