| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | move src/Experiments/NewPipeline/ to src/ |  Andres Erbsen | 2019-01-09 |
| * | Move le_{add,sub}_1_* to ZUtil.Le |  Jason Gross | 2018-12-25 |
| * | Yet more repeat fixing | Jason Gross | 2018-12-04 |
| * | Guarantee that casting always returns inrange | Jason Gross | 2018-10-12 |
| * | Fix and prove bounds for fancymachine operations |  jadep | 2018-09-28 |
| * | Solve two more zrange goals | Jason Gross | 2018-09-12 |
| * | Make a recording of what zrange proofs are left | Jason Gross | 2018-09-12 |
| * | Do almost all ZRange proofs |  Jason Gross | 2018-08-25 |
| * | Add more absint proofs | Jason Gross | 2018-08-21 |
| * | Add more operation-specific proofs | Jason Gross | 2018-08-21 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |