aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/NISTP256
Commit message (Expand)AuthorAge
* Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtilGravatar Jason Gross2018-08-23
* Pass -mbmi2 to gccGravatar Jason Gross2018-01-19
* Handle the fact that we haven't forbidden TWord 3Gravatar Jason Gross2018-01-05
* Print bool as uint8_tGravatar Jason Gross2018-01-05
* make selected-specific-display for permit `TWord 0`Gravatar Jason Gross2018-01-05
* Update display logs and c filesGravatar Jason Gross2017-11-10
* Add a dummy karatsuba parameterGravatar Jason Gross2017-11-07
* find . -name "py_interpreter.sh" | xargs chmod +xGravatar Jason Gross2017-11-03
* Add generated py_interpreter.sh filesGravatar Jason Gross2017-11-02
* Update display logsGravatar Jason Gross2017-10-29
* Update display logsGravatar Jason Gross2017-10-29
* Update display logsGravatar Jason Gross2017-10-29
* Add tight and loose bounds, no carry in add, subGravatar Jason Gross2017-10-22
* Allow inlining expressions not returning TbaseGravatar Jason Gross2017-10-20
* Add display logsGravatar Jason Gross2017-10-18
* Saner checking for freeze and ladderstepGravatar Jason Gross2017-10-18
* Explicitly specify baseGravatar Jason Gross2017-10-18
* Turn CurveParameters into a recordGravatar Jason Gross2017-10-18
* Support p256 / montgomery in json formatGravatar Jason Gross2017-10-18
* Reorgainze synthesis framework files into a Framework folderGravatar Jason Gross2017-10-18
* Turn on parenthetization in C outputGravatar Jason Gross2017-10-17
* Factor out some bits of ladderstep preglueGravatar Jason Gross2017-10-05
* Factor out some of the preglue synthesis codeGravatar Jason Gross2017-07-08
* make benchGravatar Andres Erbsen2017-07-06
* make benchGravatar Jason Gross2017-07-06
* 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
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 15:38:42 +0000