Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix a typo in the previous commit | 2016-10-14 | |
* | Fix exponential blowup in some doubling ops | 2016-10-14 | |
* | Work around bug 5401 (bad let '(x, y)) | 2016-10-13 | |
* | Work around bug 5003 (broken omega on projections) | 2016-10-10 | |
* | Add repeated multiple | 2016-10-10 | |
* | Add shl,shr,shrd to repeated doubling | 2016-10-09 | |
* | Add proofs for doubling shl,shr,shrd | 2016-10-09 | |
* | Some work on x86 and bounded repeated things | 2016-10-09 | |
* | Add some bounded decode/and things | 2016-10-09 | |
* | Split up DoubleBoundedProofs, add proofs | 2016-10-07 |