aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
Commit message (Expand)AuthorAge
* Factor out some of the preglue synthesis codeGravatar Jason Gross2017-07-08
* More fine-grained tactics importsGravatar Jason Gross2017-07-08
* prove an admit in ArithmeticSynthesisTestGravatar Andres Erbsen2017-07-06
* 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
* | changes to log files after running make cGravatar jadep2017-07-01
* | 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
| * 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
* 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 benchGravatar Andres Erbsen2017-06-23
* Fix an issue with notationsGravatar Jason Gross2017-06-22
* 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
* 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
* Add sig_conj_by_impl2Gravatar Jason Gross2017-06-22
* move Specifi p256 files into their own directoryGravatar Andres Erbsen2017-06-22
* Fix some minor naming bugs in sig_assoc tacticsGravatar Jason Gross2017-06-22
* Add tighter bounds to MontgomeryP256{,_128}Gravatar Jason Gross2017-06-22
* compile src/Specific/IntegrationTestMontgomeryP256.sGravatar Andres Erbsen2017-06-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 23:54:45 +0000