Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Finish rewriter proofs modulo funext | 2018-12-19 | |
* | Move fancy rewrites after bounds analysis | 2018-12-12 | |
* | Add placeholder rewrite rules for rewriting after bounds | 2018-10-14 | |
* | Parameterize rewriter proofs over cast-outside-of-range behavior | 2018-10-11 | |
* | Support type variables in patterns in the rewriter | 2018-09-29 | |
* | Finish rule-specific rewriter wf proofs | 2018-08-13 | |
* | Split up rewrite rules proofs into multiple files | 2018-08-13 | |
* | Prove rewrite-rule-independent parts of rewrite Wf | 2018-08-13 | |
* | Some WIP on Rewiter correctness | 2018-07-30 | |
* | Integrate Wf and Interp proofs | 2018-07-30 |