aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z/ArithmeticSimplifierInterp.v
Commit message (Expand)AuthorAge
* remove old pipelineGravatar Andres Erbsen2019-01-09
* Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtilGravatar Jason Gross2018-08-23
* Add specialize_all_ways, fix a proof in src/Compilers/Z/ArithmeticSimplifierI...Gravatar Jason Gross2018-06-26
* Add reflective compose, notation for Z.Syntax.{Expr,Interp}Gravatar Jason Gross2017-10-12
* Better simplification of mulsplitGravatar Jason Gross2017-06-18
* Better test for simplifierGravatar Jason Gross2017-06-18
* Stronger simplification of adc too add when we can prove the carry is 0Gravatar Jason Gross2017-06-18
* Be a bit more forceful in eliminating zeros in arith simplGravatar Jason Gross2017-06-17
* More arithmetic simplification for adc, mulGravatar Jason Gross2017-06-17
* Add extra simplification to simplifier for adcGravatar Jason Gross2017-06-17
* Rework and speed up arithmetic simplifier proofsGravatar Jason Gross2017-06-14
* Handle IdWithAlt in the simplifierGravatar Jason Gross2017-06-12
* Add compiler optimization for [Zselect (-x) _ _]Gravatar 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
* rename-everythingGravatar Andres Erbsen2017-04-06