Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add reflective compose, notation for Z.Syntax.{Expr,Interp} | 2017-10-12 | |
* | Reify Z.mul_with_split_at_bitwidth | 2017-06-13 | |
* | Add dummy version of IdWithAlt to compilers | 2017-06-11 | |
* | Add SubWithGetBorrow to reflective machinery | 2017-05-20 | |
* | Add reflective machinery for adc, zselect | 2017-05-17 | |
* | CSE without inlining arithmetic expressions | 2017-05-14 | |
* | Also handle initial type in CSE | 2017-04-17 | |
* | Prove antisymmetry of CSE leb | 2017-04-17 | |
* | Add CSE correctness files for Z-specialization | 2017-04-15 | |
* | Add CSE specialized to Z | 2017-04-14 |