aboutsummaryrefslogtreecommitdiff
path: root/test/prove.go
AgeCommit message (Expand)Author
2024-01-23cmd/compile: improve integer comparisons with numeric boundsJorropo
2023-10-19test: migrate remaining files to go:build syntaxDmitri Shuralyov
2023-04-10cmd/compile: teach prove about bitwise OR operationCuong Manh Le
2023-04-07cmd/compile: get more bounds info from logic operators in prove passruinan
2023-02-27cmd/compile: use zero constants in comparisons where possibleMichael Munday
2023-01-24Revert "cmd/compile: teach prove about bitwise OR operation"Keith Randall
2023-01-23cmd/compile: teach prove about unsigned division, modulus and rshJorropo
2022-10-27cmd/compile: recognize when the result of append has a constant lengthKeith Randall
2022-08-31cmd/compile: teach prove about bitwise OR operationWayne Zuo
2022-08-31cmd/compile: derive relation between x+delta and x in proveWayne Zuo
2022-08-18cmd/compile: don't use OFORUNTIL when implementing range loopsKeith Randall
2022-05-08cmd/compile: teach prove about and operationWayne Zuo
2021-02-24docs: fix spellingJohn Bampton
2021-02-23cmd/compile: use transitive relations for slice len/cap in posetCuong Manh Le
2020-11-07cmd/compile: check indirect connection between if block and phi block in addL...Cholerae Hu
2020-07-30cmd/compile: don't addLocalInductiveFacts if there is no direct edge from if ...Cholerae Hu
2020-05-11cmd/compile: in prove, zero right shifts of positive int by #bits - 1Keith Randall
2020-02-26cmd/compile: remove Greater* and Geq* generic integer opsMichael Munday
2019-10-12cmd/compile: make poset use sufficient conditions for OrderedOrEqualzdjones
2019-10-03cmd/compile: run deadcode before nilcheck for better statement relocationDavid Chase
2019-09-26cmd/compile: in prove, learn facts from OpSliceMakeGiovanni Bajo
2019-08-27cmd/compile: handle sign/zero extensions in prove, via update methodzdjones
2019-03-30cmd/compile: make prove learn index >= 0 from successful bounds checkszdjones
2019-03-29cmd/compile: enhance induction variable detection for unrolled loopsDavid Chase
2019-03-29cmd/compile: make prove use poset to check non-negativeszdjones
2019-03-09cmd/compile: reverse order of slice bounds checksKeith Randall
2019-01-02cmd/compile: fix deriving from x+d >= w on overflow in prove passCherry Zhang
2018-12-14cmd/compile: fix length overflow when appending elements to a sliceMartin Möhrmann
2018-12-07cmd/compile: check for negative upper bound to IsSliceInBoundsDavid Chase
2018-08-31cmd/compile: in prove, fix fence-post implications for unsigned domainGiovanni Bajo
2018-07-09cmd/compile: ensure that loop condition is detected correctlyKeith Randall
2018-05-22cmd/compile: don't produce a past-the-end pointer in range loopsAustin Clements
2018-05-22cmd/compile: detect OFORUNTIL inductive facts in proveAustin Clements
2018-04-29cmd/compile: teach prove to handle expressions like len(s)-deltaGiovanni Bajo
2018-04-29cmd/compile: improve testing of induction variablesGiovanni Bajo
2018-04-29cmd/compile: implement loop BCE in proveGiovanni Bajo
2018-04-29cmd/compile: in prove, infer unsigned relations while branchingGiovanni Bajo
2018-04-29cmd/compile: in prove, add transitive closure of relationsGiovanni Bajo
2018-04-03cmd/compile: in prove, complete support for OpIsInBounds/OpIsSliceInBoundsGiovanni Bajo
2018-03-08cmd/compile: add fence-post implications to proveAustin Clements
2018-03-08cmd/compile: derive unsigned limits from signed limits in proveAustin Clements
2018-03-08cmd/compile: make prove pass use unsatisfiabilityAustin Clements
2017-04-07cmd/compile/internal/gc: improve comparison with constant stringsIlya Tocar
2017-02-02cmd/compile: use len(s)<=cap(s) to remove more bounds checksKeith Randall
2017-02-02cmd/compile: fix CSE with commutative opsKeith Randall
2016-10-20cmd/compile: Repurpose old sliceopt.go for prove phase.David Chase
2016-09-15cmd/compile: unroll comparisons to short constant stringsJosh Bleecher Snyder
2016-04-19cmd/compile: transform some Phis into Or8.Alexandru Moșoi
2016-04-02cmd/compile: handle non-negatives in proveAlexandru Moșoi
2016-04-01cmd/compile/internal/ssa: BCE for induction variablesAlexandru Moșoi
7apu2bq3rhoylwmucxizk54afw5jyda7pho4j5zdcqpwkufke7zdzwad.onion