index
:
go
bench-before
fix-runtime-test-GOMAXPROCS
json-isValidNumber
json-isValidNumber-before
main
makepkg
ms-fix-multipart-readform
Fork of Go programming language with my patches.
Go Authors
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
prove.go
Age
Commit message (
Expand
)
Author
2023-01-24
Revert "cmd/compile: teach prove about bitwise OR operation"
Keith Randall
2023-01-23
cmd/compile: teach prove about unsigned division, modulus and rsh
Jorropo
2022-10-27
cmd/compile: recognize when the result of append has a constant length
Keith Randall
2022-08-31
cmd/compile: teach prove about bitwise OR operation
Wayne Zuo
2022-08-31
cmd/compile: derive relation between x+delta and x in prove
Wayne Zuo
2022-08-18
cmd/compile: don't use OFORUNTIL when implementing range loops
Keith Randall
2022-05-08
cmd/compile: teach prove about and operation
Wayne Zuo
2021-02-24
docs: fix spelling
John Bampton
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-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-02-26
cmd/compile: remove Greater* and Geq* generic integer ops
Michael Munday
2019-10-12
cmd/compile: make poset use sufficient conditions for OrderedOrEqual
zdjones
2019-10-03
cmd/compile: run deadcode before nilcheck for better statement relocation
David Chase
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-03-30
cmd/compile: make prove learn index >= 0 from successful bounds checks
zdjones
2019-03-29
cmd/compile: enhance induction variable detection for unrolled loops
David Chase
2019-03-29
cmd/compile: make prove use poset to check non-negatives
zdjones
2019-03-09
cmd/compile: reverse order of slice bounds checks
Keith Randall
2019-01-02
cmd/compile: fix deriving from x+d >= w on overflow in prove pass
Cherry Zhang
2018-12-14
cmd/compile: fix length overflow when appending elements to a slice
Martin Möhrmann
2018-12-07
cmd/compile: check for negative upper bound to IsSliceInBounds
David Chase
2018-08-31
cmd/compile: in prove, fix fence-post implications for unsigned domain
Giovanni Bajo
2018-07-09
cmd/compile: ensure that loop condition is detected correctly
Keith Randall
2018-05-22
cmd/compile: don't produce a past-the-end pointer in range loops
Austin Clements
2018-05-22
cmd/compile: detect OFORUNTIL inductive facts in prove
Austin Clements
2018-04-29
cmd/compile: teach prove to handle expressions like len(s)-delta
Giovanni Bajo
2018-04-29
cmd/compile: improve testing of induction variables
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-03
cmd/compile: in prove, complete support for OpIsInBounds/OpIsSliceInBounds
Giovanni Bajo
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
2017-04-07
cmd/compile/internal/gc: improve comparison with constant strings
Ilya Tocar
2017-02-02
cmd/compile: use len(s)<=cap(s) to remove more bounds checks
Keith Randall
2017-02-02
cmd/compile: fix CSE with commutative ops
Keith Randall
2016-10-20
cmd/compile: Repurpose old sliceopt.go for prove phase.
David Chase
2016-09-15
cmd/compile: unroll comparisons to short constant strings
Josh Bleecher Snyder
2016-04-19
cmd/compile: transform some Phis into Or8.
Alexandru Moșoi
2016-04-02
cmd/compile: handle non-negatives in prove
Alexandru Moșoi
2016-04-01
cmd/compile/internal/ssa: BCE for induction variables
Alexandru Moșoi
2016-03-31
cmd/compile: extend prove pass to handle constant comparisons
Keith Randall
2016-03-13
cmd/compile/internal/ssa: generalize prove to all booleans
Alexandru Moșoi
2016-02-28
[dev.ssa] cmd/compile/internal/ssa: remove proven redundant controls.
Alexandru Moșoi