Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Support type variables in patterns in the rewriter | Jason Gross | 2018-09-29 |
* | 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 |
* | Correctly reify match on prod | Jason Gross | 2018-07-03 |
* | New pipeline, split among files | Jason Gross | 2018-06-17 |