aboutsummaryrefslogtreecommitdiff
path: root/src/Experiments
Commit message (Expand)AuthorAge
* Make the Montgomery reduction test case use 128-bit multiplications andGravatar Jade Philipoom2018-02-23
* fix leftover %RTGravatar Jade Philipoom2018-02-23
* Get bounds analysis workingGravatar Jade Philipoom2018-02-23
* fixed inlining of opaque pairs as per Jason's recommendationGravatar Jade Philipoom2018-02-23
* rename compact_digit to flatten_columnGravatar Jade Philipoom2018-02-23
* make compact_digit consume a bound argument rather than a weight-function indexGravatar Jade Philipoom2018-02-23
* use Z.div and Z.modulo in saturated arith, since we can now change to bitshif...Gravatar Jade Philipoom2018-02-23
* remove leftover [Eval compute] and extra spaceGravatar Jade Philipoom2018-02-23
* define mul and add placeholders for new operations in bounds partsGravatar Jade Philipoom2018-02-23
* Add non-CPS version of Saturated/CoreGravatar Jade Philipoom2018-02-23
* Add non-CPS version of associational multiplication with mul_splitGravatar Jade Philipoom2018-02-23
* preliminary version of Montgomery reduce in new pipeline; includes adding sup...Gravatar Jade Philipoom2018-02-23
* Fix balance on subGravatar Jason Gross2018-02-19
* A bit more uniformity in handling the prime, implicitsGravatar Jason Gross2018-02-19
* [experiments] Fill in opp and subGravatar Jason Gross2018-02-19
* Remove the mod on eval_addGravatar Jason Gross2018-02-19
* Remove runtime_scopeGravatar Jason Gross2018-02-19
* [experiments] Add some more arithmetic operationsGravatar Jason Gross2018-02-19
* Take in n, compute limbwidthGravatar Jason Gross2018-02-18
* Rename type_descr to second_order, as per PR requestGravatar Jason Gross2018-02-18
* Rename AutoReifyGravatar Jason Gross2018-02-18
* Speed up the pipeline by 3x, restoring previous performanceGravatar Jason Gross2018-02-18
* Remove mul_rargs recordGravatar Jason Gross2018-02-18
* Make use of expand_lists tacticGravatar Jason Gross2018-02-18
* Rename carry_mulmod_correct to eval_carry_mulmod to fit with other lemmasGravatar Jason Gross2018-02-18
* Add GallinaReify.AutoReifyGravatar Jason Gross2018-02-18
* Simplify the pipeline a bitGravatar Jason Gross2018-02-18
* Remove try_transport_untranslateGravatar Jason Gross2018-02-18
* Respond to some code review commentsGravatar Jason Gross2018-02-18
* Do a large chunk of the bounds pipelineGravatar Jason Gross2018-02-18
* WIP on more general continuationsGravatar Jason Gross2018-02-18
* Add notations for type reificationGravatar Jason Gross2018-02-18
* Add some imports to experimentsGravatar Jason Gross2018-02-18
* Add commentGravatar Jason Gross2018-02-16
* Fix CPSify of bool_rect to eliminate dead codeGravatar Jason Gross2018-02-16
* Move [Section invert] above CPSGravatar Jason Gross2018-02-16
* Add some TODOsGravatar Jason Gross2018-02-12
* [experiments] Use smaller multiplication for 19*x (#307)Gravatar Jason Gross2018-02-12
* [Work in Progress] Experiment with Bounds Analysis based on lists (#305)Gravatar Jason Gross2018-02-11
* Add dead code elimination via inliningGravatar Jason Gross2018-01-29
* Have reification run delta on unknown identsGravatar Jason Gross2018-01-29
* Remove useless dletGravatar Jason Gross2018-01-29
* Change reduction behavior of let-bound listsGravatar Jason Gross2018-01-29
* Use Derive plugin, do two passes of partial reductionGravatar Jason Gross2018-01-29
* rerunGravatar Andres Erbsen2018-01-29
* fix carry chain in exampleGravatar Andres Erbsen2018-01-29
* Respond to some CR commentsGravatar Jason Gross2018-01-29
* Don't reify [let ... in ...], only [dlet ... in ...]Gravatar Jason Gross2018-01-29
* Write ltamer-based CPS transformGravatar Jason Gross2018-01-29
* Fix weight to use 51-bit limbsGravatar Jason Gross2018-01-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 22:25:49 +0000