[/] [trunk/] [src/] - Rev 55

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1789d 21h 23m /trunk/src/
49 Improvemens ot accuracy of split zone detection. tbourke 1793d 16h 02m /trunk/src/
48 Bump the version number. tbourke 1864d 17h 18m /trunk/src/
47 Implement new technique for handling channel arrays. tbourke 1864d 17h 18m /trunk/src/
46 Rename the xml directory to uppaalxml. tbourke 1865d 11h 34m /trunk/src/
45 Rename the parse directory to uppaal. tbourke 1865d 11h 37m /trunk/src/
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1865d 11h 42m /trunk/src/
43 Remove the pos field from expressions. tbourke 1866d 16h 21m /trunk/src/
42 Make declaration into a functor. tbourke 1866d 17h 09m /trunk/src/
41 No need for expression to be a functor. tbourke 1866d 17h 11m /trunk/src/
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1898d 16h 32m /trunk/src/
35 Fix a nasty bug when combining location invariant expressions with
transition guards: the selection bindings of the transition guard were not
being considered properly leading to improper variable captures by foralls
in the location invariant expression.		 tbourke 1904d 20h 09m /trunk/src/
34 Fix a nasty bug in ClockExprTrans.negate: it was turning invariant forall
bindings into transition exists bindings. But, the invariant is not negated,
so the bindings shouldn't change.

Also tidied up the debugging output. It is more hierarchical now.		 tbourke 1905d 12h 16m /trunk/src/
33 Improve debugging indentation output. tbourke 1905d 17h 56m /trunk/src/
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 1905d 19h 28m /trunk/src/
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1905d 23h 49m /trunk/src/
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 1906d 12h 32m /trunk/src/
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 1906d 18h 35m /trunk/src/
28 Further improve the error output of the Graphviz modules.
Add more debugging output to Graphviz plain output parser.
Handle escaped newlines inserted by Graphviz on long lines,
rather than die with a PIPE signal.		 tbourke 1907d 23h 42m /trunk/src/
27 Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.		 tbourke 1908d 17h 15m /trunk/src/