aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* [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
* proved remaining [eval] admits in MontgomeryAPIGravatar jadep2017-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 m...Gravatar jadep2017-06-29
* Merge branch 'addsubchains'Gravatar jadep2017-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 not...Gravatar jadep2017-06-29
* | Fix comment-in-string issuesGravatar Jason Gross2017-06-29
* | More C Notations for uin8_t-valued addcarryxGravatar 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
| * 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
| * 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 not...Gravatar jadep2017-06-28
|/
* Use -std=gnu11 for older versions of gccGravatar Jason Gross2017-06-28
* 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
* More proof fixingGravatar Jason Gross2017-06-26
* Add a comment for nonzero_cpsGravatar Jason Gross2017-06-26
* Fix a broken proofGravatar Jason Gross2017-06-26
* Factor out admitted proof into admitted lemmaGravatar Jason Gross2017-06-26
* Remove an admitGravatar Jason Gross2017-06-26
* make displayGravatar Jason Gross2017-06-26
* Add nonzero synthesisGravatar Jason Gross2017-06-26
* remove unused admit (has been moved to Tuple.v)Gravatar jadep2017-06-26
* indentationGravatar Jason Gross2017-06-25
* Prove map2_zselectGravatar Jason Gross2017-06-25
* Prove map2_appendGravatar Jason Gross2017-06-25
* Allow disabling adc-fusionGravatar Jason Gross2017-06-25
* make display on p256Gravatar Andres Erbsen2017-06-25
* Fixes #219Gravatar jadep2017-06-25
* write and prove Tuple.map2_cpsGravatar jadep2017-06-25
* make displayGravatar Jason Gross2017-06-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 06:57:42 +0000