| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add some interpretations things, speed up proofs in Ed25519 |  Jason Gross | 2016-10-31 |
| * | Decidable: add [Z] and [nat] inequalities |  Andres Erbsen | 2016-10-10 |
| * | Add dec eq for option, list | Jason Gross | 2016-09-18 |
| * | Add a lemma about semidecidable things to Decidable |  Jason Gross | 2016-09-05 |
| * | address code review comments | Andres Erbsen | 2016-08-04 |
| * | prove eqsig_eq using hprop in Decidable.v | Andres Erbsen | 2016-08-04 |
| * | Refactor ModularArithmetic into Zmod, expand Decidable | Andres Erbsen | 2016-08-04 |
| * | Add a comment | Jason Gross | 2016-08-01 |
| * | Better transparency of dec_eq_sig_hprop | Jason Gross | 2016-08-01 |
| * | Add instances to decide equality of sigma types | Jason Gross | 2016-07-29 |
| * | Add decidable instances for sumwise and fieldwise | Jason Gross | 2016-06-27 |
| * | Use Decidable machinery for is_eq_dec | Jason Gross | 2016-06-24 |
| * | Fix for broken abstract | Jason Gross | 2016-06-22 |
| * | Add decidability util file | Jason Gross | 2016-06-22 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |