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

Last modification (Rev 26, 2008-03-28 04:03:12 GMT)

Author:
tbourke
Log message:
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.
Path
/trunk/src/maketest/clockexpression.sml
/trunk/src/maketest/maketest.sml
/trunk/src/parse/environment.sig
/trunk/src/parse/environment.sml
/trunk/src/parse/expression.sig
/trunk/src/parse/expressionfn.sml
/trunk/src/TODO