| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | simple refactor of makefile; comments |  varomodt | 2016-01-09 |
| * | Beautified BinGF.splitWords |  Adam Chlipala | 2015-10-30 |
| * | bingf |  Robert Sloan | 2015-10-29 |
| * | patches for galois | Robert Sloan | 2015-10-27 |
| * | fix the makefile to not rebuild + module renaming | Robert Sloan | 2015-10-22 |
| * | word equiv | Robert Sloan | 2015-10-20 |
| * | pull changes from desktop | Robert Sloan | 2015-10-19 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |