| Commit message (Collapse) | 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 ↵ | Jade Philipoom | 2018-05-31 |
| | | | | | correct | ||
| * | 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 |
| | | | | | removing lemma wordToNat_wzero is ok because it's already in bbv | ||
| * | add bedrock bit vectors library (bbv) as a submodule replacing the Bedrock ↵ | Samuel Gruetter | 2018-02-05 |
| directory | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |