aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z
Commit message (Expand)AuthorAge
* Only use bool in freezeGravatar Jason Gross2017-05-21
* Fix extra opp in freezeGravatar Jason Gross2017-05-20
* 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
* Add sbb notations to CNotationsGravatar Jason Gross2017-05-20
* Also reify Z.sub_with_get_borrowGravatar Jason Gross2017-05-20
* Add SubWithGetBorrow to reflective machineryGravatar Jason Gross2017-05-20
* Add InlineConstAndOppGravatar Jason Gross2017-05-19
* Add compiler optimization for add-with-carryGravatar Jason Gross2017-05-17
* Allow 'bool' in outputGravatar Jason Gross2017-05-17
* Add notations for adcGravatar Jason Gross2017-05-17
* Zselect notationGravatar Jason Gross2017-05-17
* Add reflective machinery for adc, zselectGravatar Jason Gross2017-05-17
* Ltac scope interprets some notations as errors, so we make anf a definitionGravatar 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
* Add src/Compilers/Z/Named/DeadCodeEliminationInterp.vGravatar Jason Gross2017-05-15
* Add DeadCodeEliminationInterpGravatar Jason Gross2017-05-15
* disable ANormal form, we now support expression output!Gravatar Andres Erbsen2017-05-14
* Add reserved java notationGravatar Jason Gross2017-05-14
* Add a reserved C notationGravatar Jason Gross2017-05-14
* Stick 'return' at the end of printed functionsGravatar Jason Gross2017-05-14
* Add Z/Named/DeadCodeElimination.vGravatar Jason Gross2017-05-14
* Do more arithmetic simplifyingGravatar Jason Gross2017-05-14
* Add support for more constantsGravatar Jason Gross2017-05-14
* Add constant, support pair-returning assignmentGravatar Jason Gross2017-05-14
* Comment out CSE in pipelineGravatar Jason Gross2017-05-14
* CSE without inlining arithmetic expressionsGravatar Jason Gross2017-05-14
* s/appcontext/context/Gravatar Jason Gross2017-05-11
* Update C notationsGravatar Jason Gross2017-04-20
* Also handle initial type in CSEGravatar Jason Gross2017-04-17
* Allow more transformations in pipelineGravatar Jason Gross2017-04-17
* Prove antisymmetry of CSE lebGravatar Jason Gross2017-04-17
* Inline a24_sig in ladderstepGravatar Jason Gross2017-04-17
* Add CSE correctness files for Z-specializationGravatar Jason Gross2017-04-15
* Add more constant notationsGravatar Jason Gross2017-04-15
* Update notation filesGravatar Jason Gross2017-04-15
* More robust pipelineGravatar Jason Gross2017-04-15
* Add a bit more power to side conditions in reflective_interp rewrite dbGravatar Jason Gross2017-04-15
* Generalize MapCastCorrect a bitGravatar Jason Gross2017-04-15
* Fix hint for SimplifyArithGravatar Jason Gross2017-04-15
* Update display of ladderstep130Gravatar Jason Gross2017-04-14
* 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
* Add CSE specialized to ZGravatar Jason Gross2017-04-14
* Add base_type_leb_totalGravatar Jason Gross2017-04-14
* Clean up ladderstep goal with help from AndresGravatar Jason Gross2017-04-14
* Handle implications in pipeline glueGravatar Jason Gross2017-04-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 09:49:31 +0000