[/] [trunk/] [src/] [maketest/] - Rev 44

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1866d 01h 58m /trunk/src/maketest/
43 Remove the pos field from expressions. tbourke 1867d 06h 37m /trunk/src/maketest/
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1899d 06h 48m /trunk/src/maketest/
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 1905d 10h 25m /trunk/src/maketest/
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 1906d 02h 32m /trunk/src/maketest/
33 Improve debugging indentation output. tbourke 1906d 08h 12m /trunk/src/maketest/
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 1906d 09h 44m /trunk/src/maketest/
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1906d 14h 05m /trunk/src/maketest/
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 08h 51m /trunk/src/maketest/
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 07h 31m /trunk/src/maketest/
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 09h 18m /trunk/src/maketest/
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 2024d 00h 43m /trunk/src/maketest/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 2025d 07h 44m /trunk/src/maketest/
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 2031d 13h 00m /trunk/src/maketest/
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2038d 09h 51m /trunk/src/maketest/
17 Add MCS51 feature. tbourke 2049d 02h 56m /trunk/src/maketest/
16 Add .ml files for building with Poly/ML. tbourke 2052d 14h 14m /trunk/src/maketest/
15 Fix bugs in renaming. tbourke 2056d 07h 39m /trunk/src/maketest/
11 Rename into MoscowML/sml.net format. tbourke 2056d 07h 50m /trunk/src/maketest/
7 Add Id as a keyword for all files. tbourke 2058d 07h 42m /trunk/src/maketest/