[/] [trunk/] [src/] [uppaal/] - 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 305d 02h 20m /trunk/src/uppaal/
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 01h 23m /trunk/src/uppaal/
67 Ignore .cm directories. tbourke 1728d 23h 54m /trunk/src/uppaal/
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1735d 14h 31m /trunk/src/uppaal/
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1762d 00h 10m /trunk/src/uppaal/
46 Rename the xml directory to uppaalxml. tbourke 1837d 14h 20m /trunk/src/uppaal/
45 Rename the parse directory to uppaal. tbourke 1837d 14h 24m /trunk/src/uppaal/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1996d 20h 15m /trunk/src/parse/
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2009d 22h 22m /trunk/src/parse/
17 Add MCS51 feature. tbourke 2020d 15h 27m /trunk/src/parse/
16 Add .ml files for building with Poly/ML. tbourke 2024d 02h 44m /trunk/src/parse/
14 Cleanup mlyacc files. tbourke 2027d 20h 17m /trunk/src/parse/
12 Rename into MoscowML/sml.net format. tbourke 2027d 20h 20m /trunk/src/parse/
11 Rename into MoscowML/sml.net format. tbourke 2027d 20h 21m /trunk/src/parse/
7 Add Id as a keyword for all files. tbourke 2029d 20h 13m /trunk/src/parse/
4 Urpal! tbourke 2029d 20h 40m /trunk/src/parse/