| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | bump submodules |  Andres Erbsen | 2019-03-22 |
| * | Bump bbv |  Jason Gross | 2018-08-24 |
| * | git submodule update |  Jade Philipoom | 2018-05-31 |
| * | Define machine model, write prefancy->fancy pass, and prove Montgomery code c... | Jade Philipoom | 2018-05-31 |
| * | git submodule update --remote --recursive | Andres Erbsen | 2018-02-24 |
| * | switch to public bbv |  Samuel Gruetter | 2018-02-05 |
| * | minor updates needed to make it compile with bbv | Samuel Gruetter | 2018-02-05 |
| * | add bedrock bit vectors library (bbv) as a submodule replacing the Bedrock di... | Samuel Gruetter | 2018-02-05 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |