| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | insert a reduce step in the correct place of the carry chain |  jadep | 2017-04-01 |
| * | turn [Let]s into [Definition]s so they persist after the section | jadep | 2017-03-30 |
| * | Remove assert_preconditions; prove ring-ness of basesystem operations for bas... | jadep | 2017-03-04 |
| * | Separated out specific test cases for new base system | jadep | 2017-03-04 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |