aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z/Bounds/Pipeline/Definition.v
Commit message (Expand)AuthorAge
* remove old pipelineGravatar Andres Erbsen2019-01-09
* minor updates needed to make it compile with bbvGravatar Samuel Gruetter2018-02-05
* Remove dead code for renaming bindersGravatar Jason Gross2017-11-13
* Make pipeline options more easily extensibleGravatar Jason Gross2017-11-13
* Make use of faster interp rewritingGravatar Jason Gross2017-10-17
* Add reflective compose, notation for Z.Syntax.{Expr,Interp}Gravatar Jason Gross2017-10-12
* Allow disabling adc-fusionGravatar Jason Gross2017-06-25
* Add more simplification passes (de-doubling opp)Gravatar Jason Gross2017-06-20
* Add more simplification passes (de-doubling opp)Gravatar Jason Gross2017-06-20
* Use solve_wf_side_condition to synch the depth of auto with wfGravatar Jason Gross2017-06-20
* Adding more (possibly unneeded) simplificationGravatar Jason Gross2017-06-18
* Try more simplificationGravatar Jason Gross2017-06-17
* Drop the 0-carry bit before bounds analysisGravatar Jason Gross2017-06-17
* Add more simplification to pipelineGravatar Jason Gross2017-06-17
* Add linearization to inline pairs in post-bounds pipelineGravatar Jason Gross2017-06-17
* Handle IdWithAlt in the simplifierGravatar Jason Gross2017-06-12
* Push bounds side conditions through the pipelineGravatar Jason Gross2017-06-12
* Fix extra opp in freezeGravatar Jason Gross2017-05-20
* Get sbb conversion working in the pipelineGravatar Jason Gross2017-05-20
* Add adc -> sbb to arithmetic simpliferGravatar Jason Gross2017-05-20
* Add compiler optimization for add-with-carryGravatar Jason Gross2017-05-17
* Fix a typo in prev commit, add convenience notationGravatar Jason Gross2017-05-17
* Allow specifying pipeline options at call-timeGravatar Jason Gross2017-05-17
* disable ANormal form, we now support expression output!Gravatar Andres Erbsen2017-05-14
* Do more arithmetic simplifyingGravatar Jason Gross2017-05-14
* Comment out CSE in pipelineGravatar Jason Gross2017-05-14
* CSE without inlining arithmetic expressionsGravatar Jason Gross2017-05-14
* Allow more transformations in pipelineGravatar Jason Gross2017-04-17
* Inline a24_sig in ladderstepGravatar Jason Gross2017-04-17
* More robust pipelineGravatar Jason Gross2017-04-15
* Prelinearize so we can simplify more arithmetic in pipelineGravatar 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
* Parameterize bounds analysis over round_upGravatar Jason Gross2017-04-07
* rename-everythingGravatar Andres Erbsen2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 13:38:47 +0000