[/] [trunk/] [src/] [uppaal/] [environment.sml] - 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 1739d 17h 05m /trunk/src/uppaal/environment.sml
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1766d 02h 44m /trunk/src/uppaal/environment.sml
45 Rename the parse directory to uppaal. tbourke 1841d 16h 58m /trunk/src/uppaal/environment.sml
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1841d 17h 03m /trunk/src/parse/environment.sml
43 Remove the pos field from expressions. tbourke 1842d 21h 42m /trunk/src/parse/environment.sml
32 Added warnings for urgent channels leaving locations with invariants
containing clocks as they may lead to `Clock guards are not allowed on
urgent edges' warnings.		 tbourke 1882d 00h 49m /trunk/src/parse/environment.sml
30 Add the mapBoth value to Environment, and update EnvironmentPP, so that
typedefs are sorted along with variable declarations.

Otherwise input like this:
const int N = 4;
typedef int[0, N-1] id_t;

ends up as output like this:
typedef int[0, N-1] id_t;
const int N = 4;		 tbourke 1882d 17h 52m /trunk/src/parse/environment.sml
29 Implement ATrans.reduceSelectIds so that Urpal is a bit more flexible about
selection bindings used around subexpressions without clocks in guards and
not in channel array subscripts. (see 20080329)		 tbourke 1882d 23h 56m /trunk/src/parse/environment.sml
26 The ClockExpression.fromExpr function was faulty because Expression.filter
did not properly respect forall and exists bindings. This has been fixed by
shifting filter into the Environment module.		 tbourke 1885d 00h 23m /trunk/src/parse/environment.sml
7 Add Id as a keyword for all files. tbourke 2033d 22h 47m /trunk/src/parse/environment.sml
4 Urpal! tbourke 2033d 23h 15m /trunk/src/parse/environment.sml