| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Remove old reflective pipeline, making way the new |  Jason Gross | 2017-04-03 |
| * | Freeze stubs | Jason Gross | 2016-11-11 |
| * | Split up GF25519Reflective.Common: faster+parallel | Jason Gross | 2016-11-09 |
| * | Add better bounded lemmas to reified things | Jason Gross | 2016-11-05 |
| * | Add code for overflow check (disabled bc freeze) | Jason Gross | 2016-11-05 |
| * | Print out the computed bounds on the various ops | Jason Gross | 2016-11-01 |
| * | Also construct relatedness proofs in reified | Jason Gross | 2016-10-30 |
| * | Add reification of various operations | Jason Gross | 2016-10-30 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |