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