Commit message (Expand) | Author | Age | |
---|---|---|---|
* | remove old pipeline | Andres Erbsen | 2019-01-09 |
* | Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil | Jason Gross | 2018-08-23 |
* | Add reflective compose, notation for Z.Syntax.{Expr,Interp} | Jason Gross | 2017-10-12 |
* | Rework and speed up arithmetic simplifier proofs | Jason Gross | 2017-06-14 |
* | Handle IdWithAlt in the simplifier | Jason Gross | 2017-06-12 |
* | Don't rely on autogenerated names | Jason Gross | 2017-06-05 |
* | Get sbb conversion working in the pipeline | Jason Gross | 2017-05-20 |
* | Add adc -> sbb to arithmetic simplifer | Jason Gross | 2017-05-20 |
* | Fix hint for SimplifyArith | Jason Gross | 2017-04-15 |
* | rename-everything | Andres Erbsen | 2017-04-06 |