aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Merge branch 'use-cmovznz' of https://github.com/JasonGross/fiat-cryptoGravatar Andres Erbsen2017-07-02
|\
* | Closed under the global contextGravatar Andres Erbsen2017-07-02
| |
* | prove [MontgomeryAPI.small_add]Gravatar Andres Erbsen2017-07-02
| |
* | fix [small_div] argumentsGravatar Andres Erbsen2017-07-02
| |
* | crypto-defects.md: analyze CVE-2014-3570Gravatar Andres Erbsen2017-07-02
| |
* | [small] admits progress...Gravatar Andres Erbsen2017-07-01
| |
* | make displayGravatar Andres Erbsen2017-07-01
| |
* | proved small_sat_addGravatar jadep2017-07-01
| |
* | changes to log files after running make cGravatar jadep2017-07-01
| |
* | change opp to runtime_oppGravatar jadep2017-07-01
| |
* | make bench: include all benchmarksGravatar Andres Erbsen2017-07-01
| |
* | proved remaining [eval] admits in MontgomeryAPIGravatar jadep2017-07-01
| |
* | benchmark OpenSSL p256 C codeGravatar Andres Erbsen2017-07-01
| |
* | openssl curve25519 licenseGravatar Andres Erbsen2017-07-01
| |
* | benchmark OpenSSL curve25519Gravatar Andres Erbsen2017-07-01
| |
* | Prove saturated carrying-subtraction-chain correctGravatar jadep2017-07-01
| |
* | Prove saturated carrying-addition-chain correctGravatar jadep2017-06-30
| |
* | add missing importGravatar jadep2017-06-30
| |
* | Fix misnamed references in Specific/ (broke after saturated arithetic reorg)Gravatar jadep2017-06-30
| |
* | Reorganization of saturated arithmeticGravatar jadep2017-06-29
| |
* | create directory for saturated arithmetic in preparation for splitting into ↵Gravatar jadep2017-06-29
| | | | | | | | multiple files
* | Merge branch 'addsubchains'Gravatar jadep2017-06-29
|\ \
| * | Update .gitignore with things from make benchGravatar Jason Gross2017-06-29
| | |
| * | Add proper dependencies on .h file in MakefileGravatar Jason Gross2017-06-29
| | |
| * | Remove a [Check]Gravatar Jason Gross2017-06-29
| | |
* | | new add/carry chain logic with admitted proofsGravatar jadep2017-06-29
| | |
* | | Skeleton for add/subtract chains (see #222)Gravatar jadep2017-06-29
| | |
* | | Add wrappers for subborrow and add_with_get_carry so they work when it is ↵Gravatar jadep2017-06-29
| | | | | | | | | | | | not known that they split on a power of 2
| | * make displayGravatar Jason Gross2017-06-29
| | |
| | * change notation `_ == _ ? _ : _ ` to `cmovznz(_, _, _)`Gravatar Jason Gross2017-06-29
| | | | | | | | | | | | This closes #228
* | | Update .gitignore with things from make benchGravatar Jason Gross2017-06-29
| |/ |/|
* | Fix comment-in-string issuesGravatar Jason Gross2017-06-29
| |
* | More C Notations for uin8_t-valued addcarryxGravatar Jason Gross2017-06-29
| |
* | Add proper dependencies on .h file in MakefileGravatar Jason Gross2017-06-29
| |
* | Remove a [Check]Gravatar Jason Gross2017-06-29
| |
| * Fix comment-in-string issuesGravatar Jason Gross2017-06-29
| |
| * make displayGravatar Jason Gross2017-06-29
| |
| * More C Notations for uin8_t-valued addcarryxGravatar Jason Gross2017-06-29
| |
| * Fix the sense of op_{get,with}_carry in SaturatedGravatar Jason Gross2017-06-29
| | | | | | | | Now it lines up with the things in Z.Definitions
| * Fix unfolding to not unfold sub_with_get_borrow in P256Gravatar Jason Gross2017-06-29
| |
| * Adapt to new arguments of saturated thingsGravatar Jason Gross2017-06-29
| |
| * Fix type signatures of saturated things for WBWGravatar Jason Gross2017-06-29
| | | | | | | | | | This required admitting some proofs. @jadephilipoom, please sanity-check this.
| * new add/carry chain logic with admitted proofsGravatar jadep2017-06-29
| |
| * Skeleton for add/subtract chains (see #222)Gravatar jadep2017-06-28
| |
| * Add wrappers for subborrow and add_with_get_carry so they work when it is ↵Gravatar jadep2017-06-28
|/ | | | not known that they split on a power of 2
* Use -std=gnu11 for older versions of gccGravatar Jason Gross2017-06-28
|
* Make the same display on windows and linuxGravatar Jason Gross2017-06-28
| | | | Do this by removing windows line endings via sed
* match C code in Jacobian additionGravatar Andres Erbsen2017-06-27
|
* p256 compilation and benchmarks with manual kludgesGravatar Andres Erbsen2017-06-27
|
* proved eval_mod and eval_div (last remaining eval_ admits in Saturated)Gravatar jadep2017-06-27
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-04 02:50:47 +0000