aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/ArithmeticSynthesisTest.v
Commit message (Expand)AuthorAge
* Factor out parameter-specific codeGravatar Jason Gross2017-10-07
* More fine-grained tactics importsGravatar Jason Gross2017-07-08
* prove an admit in ArithmeticSynthesisTestGravatar Andres Erbsen2017-07-06
* Reorganization of saturated arithmeticGravatar jadep2017-06-29
* start saturated-arithmetic API for use in Montgomery (see discussion in #157)Gravatar jadep2017-06-08
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* Strip trailing whitespaceGravatar Jason Gross2017-06-02
* fix last wide mul in curve25519-51Gravatar Andres Erbsen2017-05-20
* Make proj1_sig square_sig take only one argumentGravatar Jason Gross2017-05-14
* specialize squaring earlierGravatar Andres Erbsen2017-05-14
* preserve common subexpressions in donna-derived codeGravatar Andres Erbsen2017-05-14
* applied micro-optimizations from donna with [transitivity] and [ring] (as per...Gravatar jadep2017-05-14
* remove lingering [About]Gravatar jadephilipoom2017-05-14
* make freeze use the correct versions of add_get_carry and zselectGravatar jadep2017-05-14
* plug in tuple-select rather than using context variablesGravatar jadep2017-05-01
* move hints and context outside section (this is what happens when you 'organi...Gravatar jadep2017-05-01
* first synthesis of freeze codeGravatar jadep2017-05-01
* Construct a24_sigGravatar Jason Gross2017-04-17
* Merge branch 'rename-everything'. Closes #14.Gravatar Andres Erbsen2017-04-06
* rename-everythingGravatar Andres Erbsen2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 08:24:20 +0000