| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | Added base types for Qhasm |  Robert Sloan | 2016-03-23 | |
| * | | merging | Robert Sloan | 2016-03-23 | |
| |\| | ||||
| * | | reasonable version | Robert Sloan | 2016-02-23 | |
| * | | simple | Robert Sloan | 2016-02-23 | |
| * | | intermediate stage | Robert Sloan | 2016-02-20 | |
| * | | BoundedWord2: add test cases |  Andres Erbsen | 2016-02-17 | |
| * | | Factor out a tactic and add more examples |  Adam Chlipala | 2016-02-17 | |
| * | | Merge | Adam Chlipala | 2016-02-17 | |
| |\| | ||||
| * | | BoundedWord2 | Adam Chlipala | 2016-02-17 | |
| * | | asdf | Robert Sloan | 2016-02-08 | |
| | * | Update build process to use COQPATH & _CoqProject |  Jason Gross | 2016-02-05 | |
| |/ | ||||
| * | word bound propagation examples | Andres Erbsen | 2015-10-30 | |
| * | bingf | Robert Sloan | 2015-10-29 | |
| * | patches for galois | Robert Sloan | 2015-10-27 | |
| * | pull changes from desktop | Robert Sloan | 2015-10-19 | |
| * | pull changes from desktop | Robert Sloan | 2015-10-19 | |
| * | gfPlus abstraction | Robert Sloan | 2015-10-16 | |
| * | remove broken code |  Robert Sloan | 2015-09-20 | |
| * | make ring decidable + define constants | Robert Sloan | 2015-09-19 | |
| * | fix module structure + add assembly placeholder |  Robert Sloan | 2015-09-17 | |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |