[/] [trunk/] - Rev 72

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
50 Add a regression test framework. tbourke 1766d 02h 59m /trunk
49 Improvemens ot accuracy of split zone detection. tbourke 1766d 23h 11m /trunk
48 Bump the version number. tbourke 1838d 00h 26m /trunk
47 Implement new technique for handling channel arrays. tbourke 1838d 00h 27m /trunk
46 Rename the xml directory to uppaalxml. tbourke 1838d 18h 42m /trunk
45 Rename the parse directory to uppaal. tbourke 1838d 18h 45m /trunk
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1838d 18h 50m /trunk
43 Remove the pos field from expressions. tbourke 1839d 23h 29m /trunk
42 Make declaration into a functor. tbourke 1840d 00h 17m /trunk
41 No need for expression to be a functor. tbourke 1840d 00h 19m /trunk