aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/IntegrationTestFreeze.v
Commit message (Expand)AuthorAge
* Build curve-specific files from jsonGravatar Jason Gross2017-10-18
* Replace curve-specific definitions with tacticsGravatar Jason Gross2017-10-18
* Generalize phisGravatar Jason Gross2017-10-07
* Factor out parameter-specific codeGravatar Jason Gross2017-10-07
* Factor out some of the preglue synthesis codeGravatar Jason Gross2017-07-08
* Switch to using uint8_t rather than bool for adcGravatar Jason Gross2017-06-18
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* Only use bool in freezeGravatar Jason Gross2017-05-21
* Add compiler optimization for add-with-carryGravatar Jason Gross2017-05-17
* Add reflective machinery for adc, zselectGravatar Jason Gross2017-05-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 02:14:01 +0000