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 |