aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
Commit message (Expand)AuthorAge
* use IntegrationTestSquare in C codeGravatar Andres Erbsen2017-04-22
* make displayGravatar Jason Gross2017-04-20
* Update ladderstep display logsGravatar Jason Gross2017-04-17
* Inline a24_sig in ladderstepGravatar Jason Gross2017-04-17
* Construct a24_sigGravatar Jason Gross2017-04-17
* Add a few more constants to ladderstep 130 displayGravatar Jason Gross2017-04-15
* Also unfold lift3_sigGravatar Jason Gross2017-04-15
* Update display of ladderstep130Gravatar Jason Gross2017-04-14
* Use 128/256 in ladderstep 130Gravatar Jason Gross2017-04-14
* Split off a-normal form from flatteningGravatar Jason Gross2017-04-14
* Add support for cse-modulo-normalizationGravatar Jason Gross2017-04-14
* Add hand-cse'd version of squareGravatar Jason Gross2017-04-14
* Add display of squareGravatar Jason Gross2017-04-14
* Update ladderstep displayGravatar Jason Gross2017-04-14
* Handle new ladderstep and square in dsiplayGravatar Jason Gross2017-04-14
* Add test for squareGravatar Jason Gross2017-04-14
* Clean up ladderstep goal with help from AndresGravatar Jason Gross2017-04-14
* X25519: wrap synthesized code in donna-c64, run SUPERCOP benchmarksGravatar Andres Erbsen2017-04-13
* Update display logsGravatar Jason Gross2017-04-13
* Update display to not line-wrapGravatar Jason Gross2017-04-13
* Update ladderstep displayGravatar Jason Gross2017-04-13
* Rewrite the ladderstep goalGravatar Jason Gross2017-04-13
* Add eexists_sig_etransitivity_for_rewrite_fun_RGravatar Jason Gross2017-04-13
* Add lift4_sig_sigGravatar Jason Gross2017-04-13
* Add eexists_sig_etransitivity_RGravatar Jason Gross2017-04-13
* Split off Compilers.Named.ContextGravatar Jason Gross2017-04-10
* Update display logsGravatar Jason Gross2017-04-07
* Parameterize bounds analysis over round_upGravatar Jason Gross2017-04-07
* Add Ladderstep130 display logGravatar Jason Gross2017-04-07
* Add display for ladderstep 130-bitGravatar Jason Gross2017-04-07
* Revert "Don't print ladderstep four times"Gravatar Jason Gross2017-04-07
* Add ladderstep display logGravatar Jason Gross2017-04-07
* Don't print ladderstep four timesGravatar Jason Gross2017-04-07
* Add working display of ladderstepGravatar Jason Gross2017-04-07
* Add display logsGravatar Jason Gross2017-04-07
* Display un-interped C codeGravatar Jason Gross2017-04-07
* Add 130-bit 3-register synthesisGravatar Jason Gross2017-04-07
* Add Display files and targetsGravatar Jason Gross2017-04-07
* Use [refine_reflectively] again in ladderstepGravatar Jason Gross2017-04-07
* Use carry_mulGravatar Jason Gross2017-04-07
* Add IntegrationTestLadderstep.vGravatar Jason Gross2017-04-07
* Merge branch 'rename-everything'. Closes #14.Gravatar Andres Erbsen2017-04-06
|\
| * rename-everythingGravatar Andres Erbsen2017-04-06
| * remove unused filesGravatar Andres Erbsen2017-04-06
* | Add IntegrationTest for SubGravatar Jason Gross2017-04-06
* | FIx encoding of [coef]; instead of [encode 2p], it should be [encode p + enco...Gravatar jadep2017-04-06
* | Rename IntegrationTest{=>Mul}.vGravatar Jason Gross2017-04-06
| * start removing BaseSystemGravatar Andres Erbsen2017-04-06
* | Switch to 51-bit limbsGravatar Jason Gross2017-04-06
* | Compute the bitwidth in integration testGravatar Jason Gross2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 01:17:44 +0000