index
:
go
adonovan-patch-1
dev.boringcrypto
dev.boringcrypto.go1.10
dev.boringcrypto.go1.11
dev.boringcrypto.go1.12
dev.boringcrypto.go1.13
dev.boringcrypto.go1.14
dev.boringcrypto.go1.15
dev.boringcrypto.go1.16
dev.boringcrypto.go1.17
dev.boringcrypto.go1.18
dev.boringcrypto.go1.8
dev.boringcrypto.go1.9
dev.cc
dev.cmdgo
dev.debug
dev.fuzz
dev.garbage
dev.gcfe
dev.go2go
dev.inline
dev.link
dev.power64
dev.regabi
dev.ssa
dev.tls
dev.typealias
dev.typeparams
dev.types
dev.unified
master
release-branch.go1
release-branch.go1.1
release-branch.go1.10
release-branch.go1.11
release-branch.go1.12
release-branch.go1.13
release-branch.go1.14
release-branch.go1.15
release-branch.go1.16
release-branch.go1.17
release-branch.go1.18
release-branch.go1.19
release-branch.go1.2
release-branch.go1.20
release-branch.go1.21
release-branch.go1.22
release-branch.go1.3
release-branch.go1.4
release-branch.go1.5
release-branch.go1.6
release-branch.go1.7
release-branch.go1.8
release-branch.go1.9
release-branch.r57
release-branch.r58
release-branch.r59
release-branch.r60
tls
The Go programming language
Google
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
prove.go
Age
Commit message (
Expand
)
Author
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