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