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

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
72 Avoid introducing transitions for clock-free expressions that can instead be
grouped using disjunction.		 tbourke 1526d 16h 22m /trunk/src/maketest/clkexprtrans.sml
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1732d 16h 46m /trunk/src/maketest/clkexprtrans.sml
49 Improvemens ot accuracy of split zone detection. tbourke 1762d 21h 04m /trunk/src/maketest/clkexprtrans.sml
47 Implement new technique for handling channel arrays. tbourke 1833d 22h 20m /trunk/src/maketest/clkexprtrans.sml
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1834d 16h 43m /trunk/src/maketest/clkexprtrans.sml
43 Remove the pos field from expressions. tbourke 1835d 21h 22m /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 1874d 01h 11m /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 1874d 17h 17m /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 2000d 03h 46m /trunk/src/maketest/clkexprtrans.sml
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2007d 00h 37m /trunk/src/maketest/clkexprtrans.sml
11 Rename into MoscowML/sml.net format. tbourke 2024d 22h 36m /trunk/src/maketest/clkexprtrans.sml
7 Add Id as a keyword for all files. tbourke 2026d 22h 27m /trunk/src/maketest/clkexpr-trans.sml
4 Urpal! tbourke 2026d 22h 55m /trunk/src/maketest/clkexpr-trans.sml