| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fixes for Coq 8.4 |  Jason Gross | 2016-10-27 |
| * | Refactors to remove intermediate conversions |  Robert Sloan | 2016-10-26 |
| * | Refactors to remove intermediate conversions in HLConversions | Robert Sloan | 2016-10-25 |
| * | Fix 8.4 build | Jason Gross | 2016-10-22 |
| * | 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 |
| * | | merge rsloan-phoas refactors into master | Robert Sloan | 2016-10-21 |
| |\| | |||
| * | | committing unstable refactors to patch master | Robert Sloan | 2016-10-21 |
| | * | Various fixes for Coq 8.4 | Jason Gross | 2016-10-20 |
| |/ | |||
| * | Making sub bounds actually tight | Robert Sloan | 2016-10-14 |
| * | More minor improvements in Conversions.v and Compile.v | Robert Sloan | 2016-10-13 |
| * | Complete example + GF25519 outline in Pipeline.v |  Robert Sloan | 2016-10-02 |
| * | Most of our refactored compilation infrastructure | Rob Sloan | 2016-10-02 |
| * | Large-scale refactoring of src/Assembly | Robert Sloan | 2016-09-24 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |