aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
Commit message (Expand)AuthorAge
* Fold Karatsuba into json format and synthesisGravatar Jason Gross2017-10-18
* Build curve-specific files from jsonGravatar Jason Gross2017-10-18
* Generate C64 from python script and jsonGravatar Jason Gross2017-10-18
* Reorgainze synthesis framework files into a Framework folderGravatar Jason Gross2017-10-18
* Replace curve-specific definitions with tacticsGravatar Jason Gross2017-10-18
* Factor out specific code underlying ReificationTypesGravatar Jason Gross2017-10-18
* Turn on parenthetization in C outputGravatar Jason Gross2017-10-17
* Remove outdated json file, reorder remake_curves.shGravatar Jason Gross2017-10-17
* Add more json filesGravatar Jason Gross2017-10-16
* Don't print ".0" for integer bases in the json filesGravatar Jason Gross2017-10-16
* bugfixes from messy rebase; remade json filesGravatar jadep2017-10-16
* Fix base generationGravatar Jason Gross2017-10-16
* Add more json filesGravatar Jason Gross2017-10-16
* Don't error if we can't open a fileGravatar Jason Gross2017-10-16
* Regenerate json filesGravatar Jason Gross2017-10-16
* Prettier json file generationGravatar Jason Gross2017-10-14
* Add generated json files from generate_parameters.pyGravatar Jason Gross2017-10-14
* Add curve-specific json filesGravatar Jason Gross2017-10-14
* Generalize phisGravatar Jason Gross2017-10-07
* Factor out the compute bit of the compute notation in curve paramsGravatar Jason Gross2017-10-07
* Factor out parameter-specific codeGravatar Jason Gross2017-10-07
* Fix display logGravatar Jason Gross2017-10-06
* Factor out some bits of ladderstep preglueGravatar Jason Gross2017-10-05
* Add missing tactic in comment in ladderstepGravatar Jason Gross2017-09-27
* Add src/Specific/X25519/C32/compiler.sh, update src/Specific/X25519/C64/scala...Gravatar Jason Gross2017-09-27
* Add curve25519-donna-c64 to etc/third_partyGravatar Jason Gross2017-09-27
* Add missing fileGravatar Jason Gross2017-09-21
* Add femul,fesqure for C32Gravatar Jason Gross2017-09-21
* Add extract_ExprGravatar Jason Gross2017-09-21
* Split off tactics in IntegrationTestDisplayCommonGravatar Jason Gross2017-09-21
* make benchGravatar Jason Gross2017-09-12
* Fix more commented out alternativesGravatar Jason Gross2017-09-05
* Fix commented out alternate version in ladderstepGravatar Jason Gross2017-09-05
* Factor out some of the preglue synthesis codeGravatar Jason Gross2017-07-08
* More fine-grained tactics importsGravatar Jason Gross2017-07-08
* prove an admit in ArithmeticSynthesisTestGravatar Andres Erbsen2017-07-06
* make benchGravatar Andres Erbsen2017-07-06
* make benchGravatar Jason Gross2017-07-06
* benchmark NISTZ256 with and without adxGravatar Andres Erbsen2017-07-05
* make benchGravatar Andres Erbsen2017-07-05
* make benchGravatar Andres Erbsen2017-07-04
* use att style assembly with icc, test itGravatar Andres Erbsen2017-07-04
* test p256 mixed additionGravatar Andres Erbsen2017-07-04
* work around GCC issues 81294 and 81300Gravatar Andres Erbsen2017-07-03
* fix mulx argument order using sed, test feadd, femul (fails due to #234)Gravatar Andres Erbsen2017-07-03
* Fix display targetGravatar Jason Gross2017-07-03
* X25519 test (passed on first try)Gravatar Andres Erbsen2017-07-02
* automate P256 integrationGravatar Andres Erbsen2017-07-02
* Merge branch 'use-cmovznz' of https://github.com/JasonGross/fiat-cryptoGravatar Andres Erbsen2017-07-02
|\
* | make displayGravatar Andres Erbsen2017-07-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 15:44:00 +0000