| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | remove old pipeline |  Andres Erbsen | 2019-01-09 |
| * | Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil |  Jason Gross | 2018-08-23 |
| * | Clean up some montgomery wbw instantiation, make display |  Jason Gross | 2017-06-24 |
| * | Add (partially admitted) integration tests for add, sub, opp | Jason Gross | 2017-06-22 |
| * | P256: Partial work on add, sub, opp | Jason Gross | 2017-06-22 |
| * | Account for future changes of #219 | Jason Gross | 2017-06-22 |
| * | Make use of new conditional_subtract | Jason Gross | 2017-06-20 |
| * | mulmod: sig type in terms of equivalence modulo p | Jason Gross | 2017-06-18 |
| * | Update wbw to work with new api | Jason Gross | 2017-06-18 |
| * | Drop the 0-carry bit before bounds analysis | Jason Gross | 2017-06-17 |
| * | Make use of non-uniform tuple-based add | Jason Gross | 2017-06-17 |
| * | fix WWMM partial evaluation | Andres Erbsen | 2017-06-16 |
| * | Switch to using tuples for word-by-word montgomery | Jason Gross | 2017-06-16 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |