| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Refactors to remove intermediate conversions |  Robert Sloan | 2016-10-26 |
| * | Refactors to remove intermediate conversions in HLConversions | Robert Sloan | 2016-10-25 |
| * | Merge branch 'master' into pr/84 |  Jason Gross | 2016-10-22 |
| |\ | |||
| | * | Interpret LetIn to Let_In for better control of interp | Jason Gross | 2016-10-22 |
| * | | committing unstable refactors to patch master | Robert Sloan | 2016-10-21 |
| |/ | |||
| * | Converting to bounded machinery | Robert Sloan | 2016-10-17 |
| * | Large-scale refactoring of src/Assembly |  Robert Sloan | 2016-09-24 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |