[/] [trunk/] [src/] [cmdlang/] - Rev 67

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
67 Ignore .cm directories. tbourke 1729d 20h 02m /trunk/src/cmdlang/
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1736d 10h 39m /trunk/src/cmdlang/
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1762d 20h 17m /trunk/src/cmdlang/
46 Rename the xml directory to uppaalxml. tbourke 1838d 10h 28m /trunk/src/cmdlang/
45 Rename the parse directory to uppaal. tbourke 1838d 10h 31m /trunk/src/cmdlang/
43 Remove the pos field from expressions. tbourke 1839d 15h 15m /trunk/src/cmdlang/
25 Improve the error message when an mcs51 file cannot be opened. tbourke 1960d 20h 36m /trunk/src/cmdlang/
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1996d 09h 21m /trunk/src/cmdlang/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1997d 16h 23m /trunk/src/cmdlang/
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 2003d 21h 39m /trunk/src/cmdlang/
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2010d 18h 30m /trunk/src/cmdlang/
17 Add MCS51 feature. tbourke 2021d 11h 34m /trunk/src/cmdlang/
16 Add .ml files for building with Poly/ML. tbourke 2024d 22h 52m /trunk/src/cmdlang/
11 Rename into MoscowML/sml.net format. tbourke 2028d 16h 29m /trunk/src/cmdlang/
7 Add Id as a keyword for all files. tbourke 2030d 16h 20m /trunk/src/cmdlang/
4 Urpal! tbourke 2030d 16h 48m /trunk/src/cmdlang/