[
/
] [
trunk
/] - Rev 75
Filtering Options
Revisions
From rev:
To rev:
Max revs:
Search for
Clear current filter
Rev
Log message
Author
Age
Path
75
Fix a bug in parsing record types.
tbourke
305d 09h 29m
/trunk/
74
Adjust for compilation on Linux.
tbourke
305d 09h 30m
/trunk/
73
Update email address in man page.
tbourke
335d 10h 15m
/trunk/
72
Avoid introducing transitions for clock-free expressions that can instead be
grouped using disjunction.
tbourke
1529d 21h 17m
/trunk/
70
Remove the TODO file. Redo the README file.
tbourke
1727d 03h 54m
/trunk/
69
Add a '.exe' suffix when running on Windows.
tbourke
1728d 07h 17m
/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
1728d 08h 32m
/trunk/
67
Ignore .cm directories.
tbourke
1729d 07h 04m
/trunk/
66
Add a copyright string to -v and -h options.
tbourke
1729d 07h 07m
/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
1730d 10h 14m
/trunk/
64
Add railway example.;
tbourke
1731d 03h 46m
/trunk/
63
Add railway example.
tbourke
1734d 02h 35m
/trunk/
62
Add copyright information to all files.
Add a Makefile for building dist files.
tbourke
1735d 21h 41m
/trunk/
60
Continue tidying up the urpal source directories.
tbourke
1749d 04h 46m
/trunk/
59
Wrap call to Urpal.main with OS.Process.exit.
tbourke
1749d 09h 39m
/trunk/
58
Fix up testing to handle urpal failures.
tbourke
1762d 06h 17m
/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
1762d 06h 57m
/trunk/
56
Tests for synchronisations on broadcast channels.
tbourke
1762d 07h 19m
/trunk/
55
* Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.
tbourke
1762d 07h 19m
/trunk/
54
Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442
tbourke
1764d 03h 47m
/trunk/
1
2
Next >
Show All
Site menu
Home
Publications
Software
FreeBSD
Standard ML
Svgtoquiz
Mnemogogo
Treeplate
Urpal
man page
source code
Miscellany
Esterel