[/] [trunk/] [src/] [uppaalxml/] - Rev 68

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
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 1729d 07h 10m /trunk/src/uppaalxml/
67 Ignore .cm directories. tbourke 1730d 05h 41m /trunk/src/uppaalxml/
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1736d 20h 18m /trunk/src/uppaalxml/
46 Rename the xml directory to uppaalxml. tbourke 1838d 20h 07m /trunk/src/uppaalxml/
23 Minor changes to build files. tbourke 1971d 04h 36m /trunk/src/xml/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1998d 02h 02m /trunk/src/xml/
19 Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.		 tbourke 2004d 07h 18m /trunk/src/xml/
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2011d 04h 09m /trunk/src/xml/
17 Add MCS51 feature. tbourke 2021d 21h 14m /trunk/src/xml/
16 Add .ml files for building with Poly/ML. tbourke 2025d 08h 31m /trunk/src/xml/
11 Rename into MoscowML/sml.net format. tbourke 2029d 02h 08m /trunk/src/xml/
7 Add Id as a keyword for all files. tbourke 2031d 01h 59m /trunk/src/xml/
6 Minor tweaks. tbourke 2031d 02h 20m /trunk/src/xml/
4 Urpal! tbourke 2031d 02h 27m /trunk/src/xml/