Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Reify most rewrite rules | 2019-03-07 | |
* | Fix another instance of reduction | 2019-03-04 | |
* | Fix missing "= true" in a tactic so [Admitted] is unneccesary. | 2019-02-15 | |
* | Insert casts before literals during bounds analysis | 2019-02-11 | |
* | Add a rewrite rule to collapse constant casts | 2019-01-16 | |
* | move src/Experiments/NewPipeline/ to src/ | 2019-01-09 |