Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove a [Check] | 2017-06-29 | |
* | CSE without inlining arithmetic expressions | 2017-05-14 | |
* | Add CSE correctness files for Z-specialization | 2017-04-15 | |
* | Add support for cse-modulo-normalization | 2017-04-14 | |
* | Update CSE proof with some help from Adam | 2017-04-14 | |
* | More WIP on CSE interp | 2017-04-11 | |
* | Add initial version of CSE interp | 2017-04-11 |