[/] [trunk/] - Rev 36

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1874d 05h 19m /trunk/
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 1880d 08h 56m /trunk/
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 1881d 01h 03m /trunk/
33 Improve debugging indentation output. tbourke 1881d 06h 43m /trunk/
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 1881d 08h 15m /trunk/
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1881d 12h 36m /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 1882d 01h 18m /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 1882d 07h 22m /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 1883d 12h 29m /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 1884d 06h 02m /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 1884d 07h 49m /trunk/
25 Improve the error message when an mcs51 file cannot be opened. tbourke 1963d 10h 29m /trunk/
24 Minor tuning to placement of labels.
Add items to TODO list.		 tbourke 1963d 10h 42m /trunk/
23 Minor changes to build files. tbourke 1973d 08h 49m /trunk/
22 Add path maps to allow for compilation under Unix and Windows. tbourke 1998d 22h 58m /trunk/
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1998d 23h 14m /trunk/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 2000d 06h 15m /trunk/
19 Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.		 tbourke 2006d 11h 31m /trunk/
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2013d 08h 22m /trunk/
17 Add MCS51 feature. tbourke 2024d 01h 27m /trunk/