Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add base.{base_,}interp_beq | 2019-02-20 | |
| | | | | These are the canonical boolean equality functions for the interpretations of the various base types. This will probably come in handy for side conditions in proofs about reifications of rewrite rules. | ||
* | Add support for reifying `zrange` and `option` | 2019-02-18 | |
| | | | | This is needed to reify statements for the rewriter. | ||
* | move src/Experiments/NewPipeline/ to src/ | 2019-01-09 | |