aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
Commit message (Expand)AuthorAge
* 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
* Use is_bounded_by_None_repeat_In_iff_lt, remove axiomGravatar Jason Gross2017-06-20
* make displayGravatar Jason Gross2017-06-20
* make displayGravatar Jason Gross2017-06-20
* make displayGravatar Jason Gross2017-06-20
* Enable a-nf for montgomeryGravatar Jason Gross2017-06-20
* make displayGravatar Jason Gross2017-06-20
* make displayGravatar Jason Gross2017-06-20
* make displayGravatar Jason Gross2017-06-20
* make display (new conditional_sub)Gravatar Jason Gross2017-06-20
* Make use of new conditional_subtractGravatar Jason Gross2017-06-20
* make benchGravatar Jason Gross2017-06-20
* check in icc-compiled IntegrationTestMontgomeryP256.sGravatar Andres Erbsen2017-06-20
* sed mulx appropriatelyGravatar Andres Erbsen2017-06-20
* Better specs (F-based) for mulmodGravatar Jason Gross2017-06-19
* No small in MP256 spec (wrong place), s/native/vm/Gravatar Jason Gross2017-06-19
* Improve mulmod_256 specsGravatar Jason Gross2017-06-19
* Add smallness of output to montgomery synthesisGravatar Jason Gross2017-06-19
* make displayGravatar Jason Gross2017-06-18
* mulmod: sig type in terms of equivalence modulo pGravatar Jason Gross2017-06-18
* make displayGravatar Jason Gross2017-06-18
* Don't unfold MulSplitGravatar Jason Gross2017-06-18
* make displayGravatar Jason Gross2017-06-18
* Switch to using uint8_t rather than bool for adcGravatar Jason Gross2017-06-18
* Update wbw to work with new apiGravatar Jason Gross2017-06-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 21:54:44 +0000