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

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
67 Ignore .cm directories. tbourke 1726d 09h 45m /trunk/src/maketest
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1733d 00h 22m /trunk/src/maketest
55 * Added exit_on_fail setting
* Added detection and warnings for bad synchronisations on broadcast
channels.		 tbourke 1759d 10h 01m /trunk/src/maketest
49 Improvemens ot accuracy of split zone detection. tbourke 1763d 04h 40m /trunk/src/maketest
47 Implement new technique for handling channel arrays. tbourke 1834d 05h 56m /trunk/src/maketest
45 Rename the parse directory to uppaal. tbourke 1835d 00h 15m /trunk/src/maketest
44 Just after implementing the improved channel array technique.
The code compiles but has not been tested.		 tbourke 1835d 00h 20m /trunk/src/maketest
43 Remove the pos field from expressions. tbourke 1836d 04h 59m /trunk/src/maketest
36 Unexpanded types in selection bindings were causing exceptions. tbourke 1868d 05h 10m /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 1874d 08h 47m /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 1875d 00h 54m /trunk/src/maketest
33 Improve debugging indentation output. tbourke 1875d 06h 34m /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 1875d 08h 06m /trunk/src/maketest
31 Add a negateInvariant function to TransitionFlipper, to avoid negated
invariants that split clock zones.		 tbourke 1875d 12h 27m /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 1876d 07h 12m /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 1878d 05h 53m /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 1878d 07h 40m /trunk/src/maketest
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1992d 23h 05m /trunk/src/maketest
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1994d 06h 06m /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 2000d 11h 22m /trunk/src/maketest