| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Handle more kinds of ops in fixed_size_op_to_word |  Jason Gross | 2017-02-03 |
| * | Only unfold the non-zpecialized versions of wcmovl, wcmovne, wneg | Jason Gross | 2017-02-03 |
| * | Also unfold wcmovl, wcmovne, wneg in fixed_size_constants | Jason Gross | 2017-02-03 |
| * | Better word operations | Jason Gross | 2017-01-03 |
| * | Add word versions of ModularBaseSystemListZOperations | Jason Gross | 2017-01-03 |
| * | Remove special code for reified conditional sub | Jason Gross | 2016-11-11 |
| * | Preliminary support: conditional sub as primitive | Jason Gross | 2016-11-06 |
| * | Factor out cmov{l,ne} and neg | Jason Gross | 2016-10-27 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |