aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
Commit message (Expand)AuthorAge
...
* 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
* don't key benchmarks on cpu frequencyGravatar Andres Erbsen2017-06-18
* measurements.txt depends on scripts that generate itGravatar Andres Erbsen2017-06-18
* more sh portability fixes...Gravatar Andres Erbsen2017-06-18
* sh portability fixes in "make c"Gravatar Andres Erbsen2017-06-18
* remove unused extraction scriptGravatar Andres Erbsen2017-06-18
* "make bench", currently just X25519-C64 (closes #185)Gravatar Andres Erbsen2017-06-18
* compile X25519 C code from MakefileGravatar Andres Erbsen2017-06-18
* make display with new constantsGravatar Jason Gross2017-06-18
* make displayGravatar Jason Gross2017-06-18
* make displayGravatar Jason Gross2017-06-18
* Use uint128_t for 128-bit montgomeryGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* add 128-bit display fileGravatar Jason Gross2017-06-17
* Add 128-bit version of montgomery for testingGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17