Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Split out rewrite_with_rule as a separate definition | Jason Gross | 2018-09-17 |
* | Make ERROR_BAD_REWRITE_RULE Opaque, not Qed'ed | Jason Gross | 2018-08-02 |
* | Move the associator pass to the rewriter | Jason Gross | 2018-07-26 |
* | Improve rewriter speed | Jason Gross | 2018-07-25 |
* | Revert "Improve rewriter speed" | Jason Gross | 2018-07-24 |
* | Improve rewriter speed | Jason Gross | 2018-07-24 |
* | Montgomery reduction in new pipeline | Jason Gross | 2018-07-21 |
* | Support reification of firstn, skipn | Jason Gross | 2018-07-18 |
* | Allow reification of nat_rect (fun _ => _ -> _) | Jason Gross | 2018-07-15 |
* | Correctly reify match on prod | Jason Gross | 2018-07-03 |
* | Pull out *2 in square, don't turn *2 into <<1 | Jason Gross | 2018-07-03 |
* | WIP | Jason Gross | 2018-07-03 |
* | Remove useless Requires | Jason Gross | 2018-06-28 |
* | Add another prime example | Jason Gross | 2018-06-18 |
* | New pipeline, split among files | Jason Gross | 2018-06-17 |