aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* 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
* proved eval_scmulGravatar jadep2017-06-18
* proved small_zeroGravatar jadep2017-06-18
* proved small_drop_highGravatar jadep2017-06-18
* proved eval_drop_highGravatar jadep2017-06-18
* define strong small and re-prove small_add and small_compact with that defini...Gravatar jadep2017-06-18
* make scmul discard its carry in a saner way; rather than concatenating it in ...Gravatar jadep2017-06-18
* make display with new constantsGravatar Jason Gross2017-06-18
* make displayGravatar Jason Gross2017-06-18
* Add notationsGravatar Jason Gross2017-06-18
* make displayGravatar Jason Gross2017-06-18
* Adding more (possibly unneeded) simplificationGravatar 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
* Try more simplificationGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Drop the 0-carry bit before bounds analysisGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Be a bit more forceful in eliminating zeros in arith simplGravatar Jason Gross2017-06-17
* Add eq_ZToWordGravatar Jason Gross2017-06-17
* More arithmetic simplification for adc, mulGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Remove a PrintGravatar Jason Gross2017-06-17
* Fix scmul bounds issueGravatar jadep2017-06-17
* More eye-catching naming scheme for nm in saturatedGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Add more simplification to pipelineGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Make use of non-uniform tuple-based addGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Enable profiling in integration test mont 256Gravatar Jason Gross2017-06-17
* Add linearization to inline pairs in post-bounds pipelineGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Add extra simplification to simplifier for adcGravatar Jason Gross2017-06-17
* Make displayGravatar Jason Gross2017-06-17
* Add more constantsGravatar Jason Gross2017-06-17
* Unfold Z.mul_split_at_bitwidth for reificationGravatar Jason Gross2017-06-17
* Make displayGravatar Jason Gross2017-06-17
* Add some more display constantsGravatar Jason Gross2017-06-17
* Add bool into P256Gravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Finish MontgomeryP256 (less conditional subtract)Gravatar Jason Gross2017-06-17
* Remove fails; if we fail too strongly, we miss debugging informationGravatar Jason Gross2017-06-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 16:29:58 +0000