index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
/
Decidable.v
Commit message (
Expand
)
Author
Age
*
Fix opacity of dec_Forall, dec_Exists
Jason Gross
2017-11-10
*
Add dec_if_bool
Jason Gross
2017-11-10
*
Add dec_Forall, dec_Exists
Jason Gross
2017-11-09
*
Add decidable equality with nil
Jason Gross
2017-08-13
*
Add dec_eq_comparison
Jason Gross
2017-06-13
*
Don't rely on autogenerated names
Jason Gross
2017-06-05
*
Revert "Add dec_eq_positive"
Jason Gross
2017-05-16
*
Add dec_eq_positive
Jason Gross
2017-05-16
*
Add dec_of_bool_dec
Jason Gross
2017-04-10
*
make elliptic curve proofs faster and split them into files
Andres Erbsen
2017-04-05
*
More fine-grained tactic imports
Jason Gross
2017-04-03
*
Add dec_eq_positive
Jason Gross
2017-03-17
*
Move find_if_eq to Decidable.v, use Decidable in Named
Jason Gross
2017-03-14
*
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