| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | fibe: Only define bitwidth on the command line |  Jason Gross | 2017-11-03 |
| * | Add PRI{u,x}limb for printf formats | Jason Gross | 2017-11-03 |
| * | Minor reordering for consistency | Jason Gross | 2017-11-03 |
| * | run some benchmarks |  Andres Erbsen | 2017-11-03 |
| * | fibe.c: stop using intrinsics (#263) | Andres Erbsen | 2017-11-02 |
| * | benchmarks build WIP | Andres Erbsen | 2017-11-02 |
| * | Update fibe | Jason Gross | 2017-11-02 |
| * | Update fibe | Jason Gross | 2017-11-02 |
| * | Move fibe.c | Jason Gross | 2017-11-02 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |