aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/NISTP256/AMD64
Commit message (Collapse)AuthorAge
* Factor out some bits of ladderstep preglueGravatar Jason Gross2017-10-05
| | | | | This requires some changes to nonzero, which now needs to unfold proj1_sig itself.
* Factor out some of the preglue synthesis codeGravatar Jason Gross2017-07-08
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This makes it a bit more uniform, and hopefully more automatable and packageable. Unfortunately, there's still no spec for this part of the pipeline, so the tactics simply aggregate common patterns. Alas, this also makes things a bit slower; I suspect that [Defined] is the place where things are slower. After | File Name | Before || Change --------------------------------------------------------------------------------------- 13m51.14s | Total | 12m59.29s || +0m51.84s --------------------------------------------------------------------------------------- 1m54.18s | Specific/IntegrationTestKaratsubaMul | 1m43.12s || +0m11.06s 1m38.97s | Specific/IntegrationTestLadderstep130 | 1m30.26s || +0m08.70s 2m19.75s | Specific/NISTP256/AMD64/femul | 2m14.08s || +0m05.66s 0m39.90s | Specific/IntegrationTestMontgomeryP256_128 | 0m34.21s || +0m05.68s 0m21.95s | Specific/NISTP256/AMD64/fesub | 0m19.23s || +0m02.71s 0m21.37s | Specific/NISTP256/AMD64/feadd | 0m18.82s || +0m02.55s 0m21.02s | Specific/X25519/C64/femul | 0m18.32s || +0m02.69s 0m20.53s | Specific/IntegrationTestFreeze | 0m23.26s || -0m02.73s 0m18.28s | Specific/IntegrationTestMontgomeryP256_128_Sub | 0m15.32s || +0m02.96s 0m18.20s | Specific/IntegrationTestMontgomeryP256_128_Add | 0m15.52s || +0m02.67s 0m16.35s | Specific/IntegrationTestMontgomeryP256_128_Opp | 0m13.52s || +0m02.83s 0m13.92s | Specific/IntegrationTestMontgomeryP256_128_Nonzero | 0m11.84s || +0m02.08s 0m18.23s | Specific/NISTP256/AMD64/MontgomeryP256 | 0m16.62s || +0m01.60s 0m15.54s | Specific/IntegrationTestSub | 0m14.53s || +0m01.00s 0m14.78s | Specific/X25519/C64/fesquare | 0m13.13s || +0m01.64s 0m13.71s | Specific/NISTP256/AMD64/fenz | 0m12.69s || +0m01.02s 3m14.34s | Specific/X25519/C64/ladderstep | 3m14.32s || +0m00.02s 0m16.54s | Specific/NISTP256/AMD64/feopp | 0m16.48s || +0m00.05s 0m12.21s | Specific/MontgomeryP256_128 | 0m12.70s || -0m00.48s 0m00.73s | Specific/IntegrationTestTemporaryMiscCommon | 0m00.72s || +0m00.01s 0m00.64s | Specific/IntegrationTestDisplayCommon | 0m00.60s || +0m00.04s
* make benchGravatar Andres Erbsen2017-07-06
|
* make benchGravatar Jason Gross2017-07-06
| | | | | | | | | | | | | | | ``` make -j test make -j -k bench touch capture.sh make -k bench sudo etc/turboboost.sh off sudo etc/hyperthreading.sh off touch capture.sh make -k bench sudo etc/turboboost.sh on sudo etc/hyperthreading.sh on ```
* benchmark NISTZ256 with and without adxGravatar Andres Erbsen2017-07-05
|
* make benchGravatar Andres Erbsen2017-07-05
|
* make benchGravatar Andres Erbsen2017-07-04
|
* use att style assembly with icc, test itGravatar Andres Erbsen2017-07-04
|
* test p256 mixed additionGravatar Andres Erbsen2017-07-04
| | | | | passed after fixing some stupid typos in glue code -- no conceptual issues.
* work around GCC issues 81294 and 81300Gravatar Andres Erbsen2017-07-03
|
* fix mulx argument order using sed, test feadd, femul (fails due to #234)Gravatar Andres Erbsen2017-07-03
|
* Fix display targetGravatar Jason Gross2017-07-03
|
* X25519 test (passed on first try)Gravatar Andres Erbsen2017-07-02
|
* automate P256 integrationGravatar Andres Erbsen2017-07-02
|
* Merge branch 'use-cmovznz' of https://github.com/JasonGross/fiat-cryptoGravatar Andres Erbsen2017-07-02
|\
* | make displayGravatar Andres Erbsen2017-07-01
| |
* | Fix misnamed references in Specific/ (broke after saturated arithetic reorg)Gravatar jadep2017-06-30
| |
| * make displayGravatar Jason Gross2017-06-29
| |
* | make displayGravatar Jason Gross2017-06-29
| |
* | Fix unfolding to not unfold sub_with_get_borrow in P256Gravatar Jason Gross2017-06-29
|/
* 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
|
* More proof fixingGravatar Jason Gross2017-06-26
|
* Remove an admitGravatar Jason Gross2017-06-26
| | | | This proof should possibly be factored out and go elsewhere.....
* make displayGravatar Jason Gross2017-06-26
|
* Add nonzero synthesisGravatar Jason Gross2017-06-26
|
* make display on p256Gravatar Andres Erbsen2017-06-25
|
* make displayGravatar Jason Gross2017-06-25
|
* make displayGravatar Jason Gross2017-06-24
|
* Fix some things not being unfoldedGravatar Jason Gross2017-06-24
|
* make displayGravatar Jason Gross2017-06-24
|
* Clean up some montgomery wbw instantiation, make displayGravatar Jason Gross2017-06-24
|
* Remove admitsGravatar Jason Gross2017-06-24
|
* make displayGravatar Jason Gross2017-06-22
|
* Add (partially admitted) integration tests for add, sub, oppGravatar Jason Gross2017-06-22
|
* P256: Partial work on add, sub, oppGravatar Jason Gross2017-06-22
| | | | Partial work towards #218
* Fix an [sz] that shouldn't have been removed in the previous commitGravatar Jason Gross2017-06-22
|
* P256: Keep around < eval N boundsGravatar Jason Gross2017-06-22
| | | | | | This closes #220 The code before the glue part of the pipeline is getting kind-of ugly...
* move Specifi p256 files into their own directoryGravatar Andres Erbsen2017-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 04:07:12 +0000