| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | {base} -> base |  Jason Gross | 2016-07-19 |
| * | rewrote Testbit and factored out some necessary lemmas about 'uniform' bases ... |  jadep | 2016-07-18 |
| * | Merged changes, including new ZUtil conventions. | jadep | 2016-07-06 |
| |\ | |||
| | * | Make ZUtil more uniform | Jason Gross | 2016-07-02 |
| * | | added and proved shift/or decode operation 'decode_bitwise' | jadep | 2016-06-30 |
| |/ | |||
| * | 8.5 fixes |  Jason Gross | 2016-06-10 |
| * | Defined a testbit variant for BaseSystem vectors and proved equivalence to Z.... | jadep | 2016-04-19 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |