Commit message (Expand) | Author | Age | |
---|---|---|---|
* | use clang | 2017-11-03 | |
* | Fix a re#definition | 2017-11-03 | |
* | run some benchmarks | 2017-11-03 | |
* | Update gmp{var,sec} to allow passing q, a24 via -D | 2017-11-02 | |
* | Better generation of autogenerated c files | 2017-11-02 |
![]() |
index : fiat-crypto | |
fast, formally verified cryptography |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | use clang | 2017-11-03 | |
* | Fix a re#definition | 2017-11-03 | |
* | run some benchmarks | 2017-11-03 | |
* | Update gmp{var,sec} to allow passing q, a24 via -D | 2017-11-02 | |
* | Better generation of autogenerated c files | 2017-11-02 |