| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | remove old loops code |  Andres Erbsen | 2018-03-27 |
| * | Fix a changed case in the proof in loop.v |  Jason Gross | 2017-06-15 |
| * | Better for_loop induction principle | Jason Gross | 2017-06-15 |
| * | Add for_cps_unroll1 | Jason Gross | 2017-06-15 |
| * | Add eq_loop_cps_large_n | Jason Gross | 2017-06-15 |
| * | move CPS notations to Util.CPSNotations | Andres Erbsen | 2017-06-15 |
| * | Loop changes, ScalarMultBase_correct with admits | Andres Erbsen | 2017-06-14 |
| * | loops WIP | Andres Erbsen | 2017-06-14 |
| * | Fix loop notations, add for loops | Jason Gross | 2017-06-11 |
| * | cps notations WIP... | Andres Erbsen | 2017-06-11 |
| * | cps and loop notations WIP | Andres Erbsen | 2017-06-11 |
| * | Allow loop notation to print | Jason Gross | 2017-06-05 |
| * | Add an only-parsing loop notation | Jason Gross | 2017-06-02 |
| * | Add experimental loops | Jason Gross | 2017-06-02 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |