[/] [trunk/] - Rev 54

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1906d 21h 56m /trunk/
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 1907d 10h 39m /trunk/
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 1907d 16h 42m /trunk/
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 1908d 21h 49m /trunk/
27 Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.		 tbourke 1909d 15h 23m /trunk/
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 1909d 17h 10m /trunk/
25 Improve the error message when an mcs51 file cannot be opened. tbourke 1988d 19h 50m /trunk/
24 Minor tuning to placement of labels.
Add items to TODO list.		 tbourke 1988d 20h 03m /trunk/
23 Minor changes to build files. tbourke 1998d 18h 10m /trunk/
22 Add path maps to allow for compilation under Unix and Windows. tbourke 2024d 08h 19m /trunk/