aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* sed mulx appropriatelyGravatar Andres Erbsen2017-06-20
* defined conditional_sub (see #207) -- small_conditional_sub admitted, eval_co...Gravatar jadep2017-06-20
* rename Columns.sub_cps to make it clear that no balance is addedGravatar jadep2017-06-20
* Don't depend on classical axioms for small_addGravatar Jason Gross2017-06-20
* Make use of new small_addGravatar Jason Gross2017-06-20
* Weaken preconditions on small_addGravatar Jason Gross2017-06-20
* Strip trailing whitespaceGravatar Jason Gross2017-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
* [Require NatUtil] should not change [tauto]Gravatar Jason Gross2017-06-19
* Fix build errorGravatar Jason Gross2017-06-19
* fixed precondition on small_addGravatar jadep2017-06-19
* Add smallness of output to montgomery synthesisGravatar Jason Gross2017-06-19
* make displayGravatar Jason Gross2017-06-18
* Add more constantsGravatar Jason Gross2017-06-18
* mulmod: sig type in terms of equivalence modulo pGravatar Jason Gross2017-06-18
* Add ModInvGravatar Jason Gross2017-06-18
* make displayGravatar Jason Gross2017-06-18
* Don't unfold MulSplitGravatar Jason Gross2017-06-18
* Better simplification of mulsplitGravatar Jason Gross2017-06-18
* Stronger zero_boundsGravatar Jason Gross2017-06-18
* Add div_nonneg to zarithGravatar Jason Gross2017-06-18
* Add Z.div_nonnegGravatar Jason Gross2017-06-18
* Fix typo in formatGravatar Jason Gross2017-06-18
* Add fake notation for addcarryx_u128 and similarGravatar Jason Gross2017-06-18
* Make use of new small_scmulGravatar Jason Gross2017-06-18
* Add some notations for mulxGravatar Jason Gross2017-06-18
* proved small_scmulGravatar jadep2017-06-18
* make displayGravatar Jason Gross2017-06-18
* Switch to using uint8_t rather than bool for adcGravatar Jason Gross2017-06-18
* Better test for simplifierGravatar Jason Gross2017-06-18
* Stronger simplification of adc too add when we can prove the carry is 0Gravatar Jason Gross2017-06-18
* Add cnotations for addcarryx with uint8_tGravatar Jason Gross2017-06-18
* Add convenience for supporting uint8Gravatar 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 01:36:38 +0000