aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
Commit message (Expand)AuthorAge
* Flip argument order on interp for easier Proper lemmasGravatar Jason Gross2017-05-16
* Add DeadCodeEliminationInterpGravatar Jason Gross2017-05-15
* use ladderstep from donna (2% faster?)Gravatar Andres Erbsen2017-05-15
* disable ANormal form, we now support expression output!Gravatar Andres Erbsen2017-05-14
* update c.sh for new return notationGravatar Andres Erbsen2017-05-14
* make display (for return statement)Gravatar Jason Gross2017-05-14
* make display again (really not sure what's up)Gravatar Jason Gross2017-05-14
* make displayGravatar Jason Gross2017-05-14
* force carry intermediates to be bound earlyGravatar Andres Erbsen2017-05-14
* make display (ladderstep with specialize square)Gravatar Jason Gross2017-05-14
* Use specialized square in ladderstepGravatar Jason Gross2017-05-14
* Make proj1_sig square_sig take only one argumentGravatar Jason Gross2017-05-14
* make display without 0x0 * _Gravatar 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
* CSE without inlining arithmetic expressionsGravatar Jason Gross2017-05-14
* Support destructuring dlet and sletGravatar Jason Gross2017-05-13
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-27 23:54:14 +0000