| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Remove bbv dependency |  Benjamin Barenblat | 2019-04-26 |
| | | | | | | | No code in fiat-crypto depends on bbv anymore, so delete it. Closes https://github.com/mit-plv/fiat-crypto/issues/481. | ||
| * | 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 |