[/] [trunk/] [src/] [maketest/] [clock_expression.sig] - 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 1529d 09h 29m /trunk/src/maketest/clock_expression.sig
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1735d 09h 53m /trunk/src/maketest/clock_expression.sig
49 Improvemens ot accuracy of split zone detection. tbourke 1765d 14h 10m /trunk/src/maketest/clock_expression.sig
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 1876d 18h 17m /trunk/src/maketest/clock_expression.sig
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1877d 21h 57m /trunk/src/maketest/clock_expression.sig
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 2002d 20h 52m /trunk/src/maketest/clock_expression.sig
11 Rename into MoscowML/sml.net format. tbourke 2027d 15h 42m /trunk/src/maketest/clock_expression.sig
7 Add Id as a keyword for all files. tbourke 2029d 15h 34m /trunk/src/maketest/clock-expression.sig
4 Urpal! tbourke 2029d 16h 02m /trunk/src/maketest/clock-expression.sig