Age | Commit message (Expand) | Author |
2021-04-28 | cmd/compile/ssa: optimize the derivable known branch of If block | eric fang |
2021-02-23 | cmd/compile: use transitive relations for slice len/cap in poset | Cuong Manh Le |
2020-11-07 | cmd/compile: check indirect connection between if block and phi block in addL... | Cholerae Hu |
2020-08-13 | cmd/compile: correct type of CvtBoolToUint8 values | Josh Bleecher Snyder |
2020-07-30 | cmd/compile: don't addLocalInductiveFacts if there is no direct edge from if ... | Cholerae Hu |
2020-05-11 | cmd/compile: in prove, zero right shifts of positive int by #bits - 1 | Keith Randall |
2020-03-09 | cmd/compile: use only bit patterns in isNonNegative | Josh Bleecher Snyder |
2020-02-27 | cmd/compile: ignore div/mod in prove on non-x86 architectures | Josh Bleecher Snyder |
2020-02-27 | cmd/compile: handle more cases in isNonNegative | Josh Bleecher Snyder |
2020-02-26 | cmd/compile: remove Greater* and Geq* generic integer ops | Michael Munday |
2020-02-21 | cmd/compile: clarify division bounds check optimization | Josh Bleecher Snyder |
2019-11-05 | cmd/compile: fix liveness for open-coded defer args for infinite loops | Dan Scales |
2019-10-20 | cmd/compile: in prove, give a different name to each poset | Giovanni Bajo |
2019-10-04 | cmd/compile: attempt to preserve statements when prove removes code | David Chase |
2019-10-02 | cmd/compile: allow multiple SSA block control values | Michael Munday |
2019-09-26 | cmd/compile: in prove, learn facts from OpSliceMake | Giovanni Bajo |
2019-08-27 | cmd/compile: handle sign/zero extensions in prove, via update method | zdjones |
2019-06-12 | cmd/compile: fix range analysis of small signed integers | Matthew Dempsky |
2019-03-31 | cmd/compile: update stale comment in prove | zdjones |
2019-03-30 | cmd/compile: make prove learn index >= 0 from successful bounds checks | zdjones |
2019-03-29 | cmd/compile: preempt repeated checks for the zero constant in prove | zdjones |
2019-03-29 | cmd/compile: make prove use poset to check non-negatives | zdjones |
2019-01-02 | cmd/compile: fix deriving from x+d >= w on overflow in prove pass | Cherry Zhang |
2018-10-23 | cmd/compile: use proved bounds to remove signed division fix-ups | ChrisALiles |
2018-09-24 | cmd/compile/internal/ssa: fix a typo | Brad Fitzpatrick |
2018-08-31 | cmd/compile: in prove, fix fence-post implications for unsigned domain | Giovanni Bajo |
2018-05-22 | cmd/compile: detect OFORUNTIL inductive facts in prove | Austin Clements |
2018-05-22 | cmd/compile: derive len/cap relations in factsTable.update | Austin Clements |
2018-05-22 | cmd/compile: teach prove about relations between constants | Austin Clements |
2018-05-14 | cmd/compile: reduce allocations in prove by reusing posets | Giovanni Bajo |
2018-05-01 | cmd/compile: recognize some OpRsh64Ux64 Values as non-negative | Josh Bleecher Snyder |
2018-04-30 | cmd/compile: use AuxInt to store shift boundedness | Josh Bleecher Snyder |
2018-04-29 | cmd/compile: simplify shifts using bounds from prove pass | Josh Bleecher Snyder |
2018-04-29 | cmd/compile: teach prove to handle expressions like len(s)-delta | Giovanni Bajo |
2018-04-29 | cmd/compile: in prove, detect loops with negative increments | Giovanni Bajo |
2018-04-29 | cmd/compile: implement loop BCE in prove | Giovanni Bajo |
2018-04-29 | cmd/compile: in prove, infer unsigned relations while branching | Giovanni Bajo |
2018-04-29 | cmd/compile: in prove, add transitive closure of relations | Giovanni Bajo |
2018-04-27 | cmd/compile: log Ctz non-zero proofs | Josh Bleecher Snyder |
2018-04-26 | cmd/compile: use prove pass to detect Ctz of non-zero values | Josh Bleecher Snyder |
2018-04-03 | cmd/compile: in prove, complete support for OpIsInBounds/OpIsSliceInBounds | Giovanni Bajo |
2018-04-03 | cmd/compile: in prove, make addRestrictions more generic | Giovanni Bajo |
2018-04-03 | cmd/compile: in prove, simplify logic of branch pushing | Giovanni Bajo |
2018-03-26 | cmd/compile: clarify unsigned interpretation of AuxInt | Austin Clements |
2018-03-24 | cmd/compile: in prove, shortcircuit self-facts | Giovanni Bajo |
2018-03-24 | cmd/compile: in prove, fail fast when unsat is found | Giovanni Bajo |
2018-03-08 | cmd/compile: simplify OpSlicemask optimization | Austin Clements |
2018-03-08 | cmd/compile: add fence-post implications to prove | Austin Clements |
2018-03-08 | cmd/compile: derive unsigned limits from signed limits in prove | Austin Clements |
2018-03-08 | cmd/compile: make prove pass use unsatisfiability | Austin Clements |