[/] [trunk/] [src/] [maketest/] [clkexprtrans.sml] - Rev 49

Filtering Options

Revisions
Search for
Rev Log message Author Age Path
49 Improvemens ot accuracy of split zone detection. tbourke 1769d 03h 56m /trunk/src/maketest/clkexprtrans.sml
47 Implement new technique for handling channel arrays. tbourke 1840d 05h 12m /trunk/src/maketest/clkexprtrans.sml
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.
tbourke 1840d 23h 36m /trunk/src/maketest/clkexprtrans.sml
43 Remove the pos field from expressions. tbourke 1842d 04h 15m /trunk/src/maketest/clkexprtrans.sml
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 03m /trunk/src/maketest/clkexprtrans.sml
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 00h 10m /trunk/src/maketest/clkexprtrans.sml
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 10h 38m /trunk/src/maketest/clkexprtrans.sml
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.
tbourke 2013d 07h 29m /trunk/src/maketest/clkexprtrans.sml
11 Rename into MoscowML/sml.net format. tbourke 2031d 05h 28m /trunk/src/maketest/clkexprtrans.sml
7 Add Id as a keyword for all files. tbourke 2033d 05h 19m /trunk/src/maketest/clkexpr-trans.sml
4 Urpal! tbourke 2033d 05h 47m /trunk/src/maketest/clkexpr-trans.sml