| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Only use bool in freeze |  Jason Gross | 2017-05-21 |
| * | make display (with adc, bool) | Jason Gross | 2017-05-17 |
| * | disable ANormal form, we now support expression output! |  Andres Erbsen | 2017-05-14 |
| * | make display (for return statement) | Jason Gross | 2017-05-14 |
| * | force carry intermediates to be bound early | Andres Erbsen | 2017-05-14 |
| * | preserve common subexpressions in donna-derived code | Andres Erbsen | 2017-05-14 |
| * | applied micro-optimizations from donna with [transitivity] and [ring] (as per... |  jadep | 2017-05-14 |
| * | make display | Jason Gross | 2017-04-20 |
| * | Update display logs | Jason Gross | 2017-04-13 |
| * | Update display logs | Jason Gross | 2017-04-07 |
| * | Add display logs | Jason Gross | 2017-04-07 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |