index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Fix display target
Jason Gross
2017-07-03
*
Remove tabs from .travis.yml
Jason Gross
2017-07-03
*
Clean up .travis.yml
Jason Gross
2017-07-03
*
X25519 test (passed on first try)
Andres Erbsen
2017-07-02
*
automate P256 integration
Andres Erbsen
2017-07-02
*
Merge branch 'use-cmovznz' of https://github.com/JasonGross/fiat-crypto
Andres Erbsen
2017-07-02
|
\
*
|
Closed under the global context
Andres Erbsen
2017-07-02
*
|
prove [MontgomeryAPI.small_add]
Andres Erbsen
2017-07-02
*
|
fix [small_div] arguments
Andres Erbsen
2017-07-02
*
|
crypto-defects.md: analyze CVE-2014-3570
Andres Erbsen
2017-07-02
*
|
[small] admits progress...
Andres Erbsen
2017-07-01
*
|
make display
Andres Erbsen
2017-07-01
*
|
proved small_sat_add
jadep
2017-07-01
*
|
changes to log files after running make c
jadep
2017-07-01
*
|
change opp to runtime_opp
jadep
2017-07-01
*
|
make bench: include all benchmarks
Andres Erbsen
2017-07-01
*
|
proved remaining [eval] admits in MontgomeryAPI
jadep
2017-07-01
*
|
benchmark OpenSSL p256 C code
Andres Erbsen
2017-07-01
*
|
openssl curve25519 license
Andres Erbsen
2017-07-01
*
|
benchmark OpenSSL curve25519
Andres Erbsen
2017-07-01
*
|
Prove saturated carrying-subtraction-chain correct
jadep
2017-07-01
*
|
Prove saturated carrying-addition-chain correct
jadep
2017-06-30
*
|
add missing import
jadep
2017-06-30
*
|
Fix misnamed references in Specific/ (broke after saturated arithetic reorg)
jadep
2017-06-30
*
|
Reorganization of saturated arithmetic
jadep
2017-06-29
*
|
create directory for saturated arithmetic in preparation for splitting into m...
jadep
2017-06-29
*
|
Merge branch 'addsubchains'
jadep
2017-06-29
|
\
\
|
*
|
Update .gitignore with things from make bench
Jason Gross
2017-06-29
|
*
|
Add proper dependencies on .h file in Makefile
Jason Gross
2017-06-29
|
*
|
Remove a [Check]
Jason Gross
2017-06-29
*
|
|
new add/carry chain logic with admitted proofs
jadep
2017-06-29
*
|
|
Skeleton for add/subtract chains (see #222)
jadep
2017-06-29
*
|
|
Add wrappers for subborrow and add_with_get_carry so they work when it is not...
jadep
2017-06-29
|
|
*
make display
Jason Gross
2017-06-29
|
|
*
change notation `_ == _ ? _ : _ ` to `cmovznz(_, _, _)`
Jason Gross
2017-06-29
*
|
|
Update .gitignore with things from make bench
Jason Gross
2017-06-29
|
|
/
|
/
|
*
|
Fix comment-in-string issues
Jason Gross
2017-06-29
*
|
More C Notations for uin8_t-valued addcarryx
Jason Gross
2017-06-29
*
|
Add proper dependencies on .h file in Makefile
Jason Gross
2017-06-29
*
|
Remove a [Check]
Jason Gross
2017-06-29
|
*
Fix comment-in-string issues
Jason Gross
2017-06-29
|
*
make display
Jason Gross
2017-06-29
|
*
More C Notations for uin8_t-valued addcarryx
Jason Gross
2017-06-29
|
*
Fix the sense of op_{get,with}_carry in Saturated
Jason Gross
2017-06-29
|
*
Fix unfolding to not unfold sub_with_get_borrow in P256
Jason Gross
2017-06-29
|
*
Adapt to new arguments of saturated things
Jason Gross
2017-06-29
|
*
Fix type signatures of saturated things for WBW
Jason Gross
2017-06-29
|
*
new add/carry chain logic with admitted proofs
jadep
2017-06-29
|
*
Skeleton for add/subtract chains (see #222)
jadep
2017-06-28
|
*
Add wrappers for subborrow and add_with_get_carry so they work when it is not...
jadep
2017-06-28
|
/
[next]