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