[/] [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.