[
/
] [
tags/
] [
urpal-1.0.0
] - Rev 71
Details
Compare with Previous
Blame
Filtering Options
Revisions
From rev:
To rev:
Max revs:
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
1
2
Next >
Show All
Site menu
Home
Publications
Software
FreeBSD
Standard ML
Svgtoquiz
Mnemogogo
Treeplate
Urpal
man page
source code
Miscellany
Esterel