| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Silence a warning |  Jason Gross | 2016-07-18 |
| | | | | | | | | | | File "./src/Experiments/GenericFieldPow.v", line 130, characters 4-471: Warning: Casts are ignored in patterns [cast-in-pattern,automation] @andres-erbsen Did you intend for the cast at https://github.com/mit-plv/fiat-crypto/commit/6823b63275333ebb11c7f84068894f76cdb06068#diff-078114b2627a38e74938989c7ca2f6d1R131 to have semantic meaning for some reason, performance or otherwise? | ||
| * | Variosu 8.5 fixes |  Jason Gross | 2016-06-20 |
| | | | | | | | | - nsatz/field seem to do less unfolding (need eauto with field_nonzero more) - intuition doesn't destruct things (need dintuition (8.5 only) or manual destruct) | ||
| * | Merge branch 'field-experiment' |  Andres Erbsen | 2016-06-20 |
| includes broken files to be removed in next commit | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |