index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
master
Clean up notations after bbv removal
Benjamin Barenblat
5 years
Age
Commit message
Author
2019-04-26
Clean up notations after bbv removal
HEAD
master
Benjamin Barenblat
2019-04-26
Remove bbv dependency
Benjamin Barenblat
2019-04-26
Remove WordUtil
Benjamin Barenblat
2019-04-26
Remove BoundedWord
Benjamin Barenblat
2019-04-26
Remove EdDSA
Benjamin Barenblat
2019-04-24
Do less reduction in GENERATEDIdentifiersWithoutTypes
Jason Gross
2019-04-22
Add some move/transport eq lemmas
Jason Gross
2019-04-22
Add push_rew_fun_dep
Jason Gross
2019-04-18
Add Primitive.reflect_eq_prod
Jason Gross
2019-04-12
Fix around coq/coq#262
Jason Gross
2019-04-12
Replace the python script with Ltac code
Jason Gross
2019-04-11
Don't include extraction .vo files in the all target
Jason Gross
2019-04-11
sed s'/RewriterProofs/RewriterAll/g'
Jason Gross
2019-04-11
rm src/*.out, now that we no longer generate these
Jason Gross
2019-04-11
Update README.md with new structure of the rewriter
Jason Gross
2019-04-11
Make a single tactic to build the rewriter
Jason Gross
[...]
Clone
https://git.benjamin.barenblat.name/fiat-crypto.git
https://github.com/bbarenblat/fiat-crypto.git