[/] [trunk/] [src/] [maketest/] [sources.mlb] - Rev 62

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1736d 08h 20m /trunk/src/maketest/sources.mlb
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1762d 17h 58m /trunk/src/maketest/sources.mlb
45 Rename the parse directory to uppaal. tbourke 1838d 08h 12m /trunk/src/maketest/sources.mlb
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1838d 08h 17m /trunk/src/maketest/sources.mlb
16 Add .ml files for building with Poly/ML. tbourke 2024d 20h 33m /trunk/src/maketest/sources.mlb
15 Fix bugs in renaming. tbourke 2028d 13h 59m /trunk/src/maketest/sources.mlb
11 Rename into MoscowML/sml.net format. tbourke 2028d 14h 10m /trunk/src/maketest/sources.mlb
7 Add Id as a keyword for all files. tbourke 2030d 14h 01m /trunk/src/maketest/sources.mlb
4 Urpal! tbourke 2030d 14h 29m /trunk/src/maketest/sources.mlb