aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z
Commit message (Expand)AuthorAge
* Try more simplificationGravatar Jason Gross2017-06-17
* Drop the 0-carry bit before bounds analysisGravatar Jason Gross2017-06-17
* 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 more simplification to pipelineGravatar Jason Gross2017-06-17
* Add linearization to inline pairs in post-bounds pipelineGravatar Jason Gross2017-06-17
* Add extra simplification to simplifier for adcGravatar Jason Gross2017-06-17
* Add more constantsGravatar Jason Gross2017-06-17
* Unfold Z.mul_split_at_bitwidth for reificationGravatar Jason Gross2017-06-17
* Add some more display constantsGravatar Jason Gross2017-06-17
* Add bool into P256Gravatar Jason Gross2017-06-17
* Remove fails; if we fail too strongly, we miss debugging informationGravatar Jason Gross2017-06-17
* Add back failure at level 100Gravatar Jason Gross2017-06-17
* Better error messages in reificationGravatar Jason Gross2017-06-17
* Revert PR #203Gravatar Jason Gross2017-06-16
* Fix CArrayNotationsGravatar Jason Gross2017-06-16
* Revert "Revert "Add CArrayNotations""Gravatar Jason Gross2017-06-16
* Revert "Add CArrayNotations"Gravatar Jason Gross2017-06-15
* Add CArrayNotationsGravatar Jason Gross2017-06-15
* Display Z operations with ℤ attachedGravatar Jason Gross2017-06-15
* Eliminate well-bounded IdWithAlt from final outputGravatar Jason Gross2017-06-15
* Add constant-pushing IdWithAlt optimizationGravatar Jason Gross2017-06-14
* Rework and speed up arithmetic simplifier proofsGravatar Jason Gross2017-06-14
* Make rewrite_eta_match_base_type_impl a bit fasterGravatar Jason Gross2017-06-13
* Fix a typoGravatar Jason Gross2017-06-13
* Add rewrite_eta_match_base_type_implGravatar Jason Gross2017-06-13
* Add eta_match_base_type_implGravatar Jason Gross2017-06-13
* Stronger invert_op tacticGravatar Jason Gross2017-06-13
* Fix a major bug in C-notation printingGravatar Jason Gross2017-06-13
* Reify Z.mul_with_split_at_bitwidthGravatar Jason Gross2017-06-13
* Handle IdWithAlt in the simplifierGravatar Jason Gross2017-06-12
* Add some more constant notationsGravatar Jason Gross2017-06-12
* Push bounds side conditions through the pipelineGravatar Jason Gross2017-06-12
* Add Z.InterpSideConditionsGravatar Jason Gross2017-06-12
* Have interped_op_side_conditions return a pointed_PropGravatar Jason Gross2017-06-12
* Initial stab at id_with_altGravatar Jason Gross2017-06-11
* Add dummy version of IdWithAlt to compilersGravatar Jason Gross2017-06-11
* Be more forceful about clearing before abstract in glue codeGravatar Jason Gross2017-06-11
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 15:55:50 +0000