Timothy Bourke - Urpal: - urpal - Rev 34

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

Author:: tbourke
Log message:: 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.

Path	Log	Tarball	RSS feed
trunk/	View Log	Tarball	RSS feed
doc/	View Log	Tarball	RSS feed
src/	View Log	Tarball	RSS feed
cmdlang/	View Log	Tarball	RSS feed
config/	View Log	Tarball	RSS feed
graphviz/	View Log	Tarball	RSS feed
layout/	View Log	Tarball	RSS feed
lib/	View Log	Tarball	RSS feed
maketest/	View Log	Tarball	RSS feed
tests/	View Log	Tarball	RSS feed
actiontrans.sml	View Log		RSS feed
action_trans.sig	View Log		RSS feed
clkexprtrans.sml	View Log		RSS feed
clk_expr_trans.sig	View Log		RSS feed
clockexpression.sml	View Log		RSS feed
clock_expression.sig	View Log		RSS feed
maketest.sml	View Log		RSS feed
make_test.sig	View Log		RSS feed
partitions.sml	View Log		RSS feed
sources.cm	View Log		RSS feed
sources.ml	View Log		RSS feed
sources.mlb	View Log		RSS feed
testtransflip.sml	View Log		RSS feed
transitionflipper.sml	View Log		RSS feed
transition_flipper.sig	View Log		RSS feed
mcs51/	View Log	Tarball	RSS feed
parse/	View Log	Tarball	RSS feed
xml/	View Log	Tarball	RSS feed