index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
BoundedArithmetic
/
Interface.v
Commit message (
Expand
)
Author
Age
*
Add more bounded assembly lemmas
Jason Gross
2016-10-06
*
Add some doubling constructions to bounded arith
Jason Gross
2016-10-04
*
Add some more instructions
Jason Gross
2016-10-04
*
Add instructions with carry flags
Jason Gross
2016-10-04
*
Add spec for x86 (#72)
Jason Gross
2016-10-04
*
Add bitwise and, remove mkl from fancy
Jason Gross
2016-10-03
*
Work around bug #5112 ([Arguments id /] broken)
Jason Gross
2016-09-30
*
Integrate suggestions from Andres
Jason Gross
2016-08-25
*
Rework bounded proofs
Jason Gross
2016-08-24
*
More slight cleanups
Jason Gross
2016-08-24
*
Clean up DoubleBounded
Jason Gross
2016-08-24
*
Coq 8.4 fixes
Jason Gross
2016-08-24
*
Weaken the condition on smaller_bound
Jason Gross
2016-08-23
*
Hook up the bounded interface, finish proofs
Jason Gross
2016-08-23
*
Revert "Add _valid properties"
Jason Gross
2016-08-23
*
Add _valid properties
Jason Gross
2016-08-23
*
Fix some things
Jason Gross
2016-08-23
*
Add TODO
Jason Gross
2016-08-23
*
Rework interface to support rewriting database
Jason Gross
2016-08-23
*
alternative machine interface specification proposal
Andres Erbsen
2016-08-23
*
Initial work on an architecture interface for ℤ/nℤ
Jason Gross
2016-08-23