Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-06-12 | bufixes and the bugs | Dejan Jovanović | |
* array now only propagates thropugh the equality engine * assertions in the equality rewriting to ensure eq -> { eq, T, F } | |||
2012-06-12 | tests for the | Dejan Jovanović | |
!isEliminated(var(ps[i])) assert fails |