summaryrefslogtreecommitdiff
path: root/test/prove.go
Commit message (Expand)AuthorAgeFilesLines
* cmd/compile: teach prove about bitwise OR operationCuong Manh Le2023-04-101-0/+5
* cmd/compile: get more bounds info from logic operators in prove passruinan2023-04-071-0/+19
* cmd/compile: use zero constants in comparisons where possibleMichael Munday2023-02-271-1/+1
* Revert "cmd/compile: teach prove about bitwise OR operation"Keith Randall2023-01-241-5/+0
* cmd/compile: teach prove about unsigned division, modulus and rshJorropo2023-01-231-0/+39
* cmd/compile: recognize when the result of append has a constant lengthKeith Randall2022-10-271-1/+1
* cmd/compile: teach prove about bitwise OR operationWayne Zuo2022-08-311-0/+5
* cmd/compile: derive relation between x+delta and x in proveWayne Zuo2022-08-311-3/+12
* cmd/compile: don't use OFORUNTIL when implementing range loopsKeith Randall2022-08-181-2/+2
* cmd/compile: teach prove about and operationWayne Zuo2022-05-081-0/+8
* docs: fix spellingJohn Bampton2021-02-241-1/+1
* cmd/compile: use transitive relations for slice len/cap in posetCuong Manh Le2021-02-231-0/+16
* cmd/compile: check indirect connection between if block and phi block in addL...Cholerae Hu2020-11-071-4/+2
* cmd/compile: don't addLocalInductiveFacts if there is no direct edge from if ...Cholerae Hu2020-07-301-2/+4
* cmd/compile: in prove, zero right shifts of positive int by #bits - 1Keith Randall2020-05-111-0/+64
* cmd/compile: remove Greater* and Geq* generic integer opsMichael Munday2020-02-261-26/+26
* cmd/compile: make poset use sufficient conditions for OrderedOrEqualzdjones2019-10-121-0/+22
* cmd/compile: run deadcode before nilcheck for better statement relocationDavid Chase2019-10-031-1/+1
* cmd/compile: in prove, learn facts from OpSliceMakeGiovanni Bajo2019-09-261-8/+32
* cmd/compile: handle sign/zero extensions in prove, via update methodzdjones2019-08-271-0/+57
* cmd/compile: make prove learn index >= 0 from successful bounds checkszdjones2019-03-301-0/+10
* cmd/compile: enhance induction variable detection for unrolled loopsDavid Chase2019-03-291-0/+117
* cmd/compile: make prove use poset to check non-negativeszdjones2019-03-291-0/+20
* cmd/compile: reverse order of slice bounds checksKeith Randall2019-03-091-2/+2
* cmd/compile: fix deriving from x+d >= w on overflow in prove passCherry Zhang2019-01-021-0/+14
* cmd/compile: fix length overflow when appending elements to a sliceMartin Möhrmann2018-12-141-1/+1
* cmd/compile: check for negative upper bound to IsSliceInBoundsDavid Chase2018-12-071-9/+9
* cmd/compile: in prove, fix fence-post implications for unsigned domainGiovanni Bajo2018-08-311-1/+3
* cmd/compile: ensure that loop condition is detected correctlyKeith Randall2018-07-091-1/+1
* cmd/compile: don't produce a past-the-end pointer in range loopsAustin Clements2018-05-221-0/+28
* cmd/compile: detect OFORUNTIL inductive facts in proveAustin Clements2018-05-221-0/+14
* cmd/compile: teach prove to handle expressions like len(s)-deltaGiovanni Bajo2018-04-291-2/+37
* cmd/compile: improve testing of induction variablesGiovanni Bajo2018-04-291-2/+2
* cmd/compile: implement loop BCE in proveGiovanni Bajo2018-04-291-3/+2
* cmd/compile: in prove, infer unsigned relations while branchingGiovanni Bajo2018-04-291-0/+9
* cmd/compile: in prove, add transitive closure of relationsGiovanni Bajo2018-04-291-2/+32
* cmd/compile: in prove, complete support for OpIsInBounds/OpIsSliceInBoundsGiovanni Bajo2018-04-031-0/+15
* cmd/compile: add fence-post implications to proveAustin Clements2018-03-081-0/+54
* cmd/compile: derive unsigned limits from signed limits in proveAustin Clements2018-03-081-2/+23
* cmd/compile: make prove pass use unsatisfiabilityAustin Clements2018-03-081-30/+50
* cmd/compile/internal/gc: improve comparison with constant stringsIlya Tocar2017-04-071-1/+3
* cmd/compile: use len(s)<=cap(s) to remove more bounds checksKeith Randall2017-02-021-0/+12
* cmd/compile: fix CSE with commutative opsKeith Randall2017-02-021-1/+14
* cmd/compile: Repurpose old sliceopt.go for prove phase.David Chase2016-10-201-1/+1
* cmd/compile: unroll comparisons to short constant stringsJosh Bleecher Snyder2016-09-151-1/+1
* cmd/compile: transform some Phis into Or8.Alexandru Moșoi2016-04-191-0/+4
* cmd/compile: handle non-negatives in proveAlexandru Moșoi2016-04-021-3/+22
* cmd/compile/internal/ssa: BCE for induction variablesAlexandru Moșoi2016-04-011-2/+2
* cmd/compile: extend prove pass to handle constant comparisonsKeith Randall2016-03-311-3/+173
* cmd/compile/internal/ssa: generalize prove to all booleansAlexandru Moșoi2016-03-131-15/+65
View Lorry Controller Status