index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
*
Update display logs and c files
Jason Gross
2017-11-12
*
Add more constant notations
Jason Gross
2017-11-12
*
Update display logs and c files
Jason Gross
2017-11-12
*
Add more constant notations
Jason Gross
2017-11-12
*
Update display logs and c files
Jason Gross
2017-11-12
*
Add more constant notations
Jason Gross
2017-11-12
*
Add autosolve admit package
Jason Gross
2017-11-12
*
Remove outdated C128 files
Jason Gross
2017-11-12
*
add reflexivity to reify autosolve
Jason Gross
2017-11-12
*
Use abstract in ring autosolve
Jason Gross
2017-11-12
*
add back incorrectly deleted files
jadep
2017-11-12
*
new autogenerated files
jadep
2017-11-12
*
update remake-curves.sh and Makefile
jadep
2017-11-12
*
changes to parameter-generation script
jadep
2017-11-12
*
fix comment
jadep
2017-11-12
*
benchmark montgomery32, gmpvar, and gmpsec on 32-bit android
Andres Erbsen
2017-11-11
*
Add Decidable2Bool
Jason Gross
2017-11-11
*
Add ListUtil.Forall
Jason Gross
2017-11-11
*
First intro and split in Zring_prod_eq_tac, before cbv -
Jason Gross
2017-11-11
*
Also unfold tuple for reification
Jason Gross
2017-11-11
*
Update display logs and c files
Jason Gross
2017-11-10
*
Update display logs and c files
Jason Gross
2017-11-10
*
Update display logs and c files
Jason Gross
2017-11-10
*
Handle more base types in Z.Reify
Jason Gross
2017-11-10
*
Add more fine-grained cmovnz notations
Jason Gross
2017-11-10
*
More modularity in autosolve
Jason Gross
2017-11-10
*
first benchmark on 32-bit Android
Andres Erbsen
2017-11-10
*
Handle tuples in reification
Jason Gross
2017-11-10
*
Add unfold_flat_interp_tuple
Jason Gross
2017-11-10
*
Use match in flat_interp_{,un}tuple'
Jason Gross
2017-11-10
*
Separate case for handling option matches in autosolve
Jason Gross
2017-11-10
*
Add cbn [val] in autosolve
Jason Gross
2017-11-10
*
Update make_curve.py for python3
Jason Gross
2017-11-10
*
Revert "Update make_curve.py for python3"
Jason Gross
2017-11-10
*
Update make_curve.py for python3
Jason Gross
2017-11-10
*
Fix opacity of dec_Forall, dec_Exists
Jason Gross
2017-11-10
*
Add dec_if_bool
Jason Gross
2017-11-10
*
Generalize Tuple.dec_fieldwise
Jason Gross
2017-11-09
*
Generalize Forall2_forall_iff
Jason Gross
2017-11-09
*
More generalization of fieldwise'_Proper to dependent types
Jason Gross
2017-11-09
*
Generalize fieldwise Proper lemmas
Jason Gross
2017-11-09
*
Add fieldwise_lift_and
Jason Gross
2017-11-09
*
Add more versions of fieldwise_Proper
Jason Gross
2017-11-09
*
Add fieldwise_Proper
Jason Gross
2017-11-09
*
Add fieldwise_eq_iff
Jason Gross
2017-11-09
*
Add dec_Forall, dec_Exists
Jason Gross
2017-11-09
*
Add fieldwise_map_from_list_iff
Jason Gross
2017-11-09
*
Fix another side condition issue
Jason Gross
2017-11-08
*
Fix a bug in previous commit
Jason Gross
2017-11-08
*
Add freeze rewrite lemmas to dbs
Jason Gross
2017-11-08
[next]