index
:
delta/go-git.git
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
q
release-branch.go1
release-branch.go1.1
release-branch.go1.10
release-branch.go1.10-security
release-branch.go1.11
release-branch.go1.11-security
release-branch.go1.12
release-branch.go1.12-security
release-branch.go1.13
release-branch.go1.13-security
release-branch.go1.14
release-branch.go1.14-security
release-branch.go1.15
release-branch.go1.15-security
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.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
tmp.shadams
github.com: golang/go
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
cmd
/
compile
/
internal
/
ssa
/
prove.go
Commit message (
Expand
)
Author
Age
Files
Lines
*
cmd/compile: make isConstDelta compute delta for 8 and 16 bit arithmetic
Jakub Ciolek
2022-09-16
1
-2
/
+20
*
cmd/compile: teach prove about bitwise OR operation
Wayne Zuo
2022-08-31
1
-0
/
+3
*
cmd/compile: derive relation between x+delta and x in prove
Wayne Zuo
2022-08-31
1
-6
/
+14
*
cmd/compile: remove OFORUNTIL
Keith Randall
2022-08-18
1
-2
/
+1
*
cmd/compile: teach prove about and operation
Wayne Zuo
2022-05-08
1
-0
/
+3
*
cmd/compile: fold constants found by prove
Jorropo
2022-05-04
1
-5
/
+59
*
cmd/compile: modify switches of strings to use jump table for lengths
Keith Randall
2022-04-14
1
-19
/
+63
*
all: gofmt main repo
Russ Cox
2022-04-11
1
-20
/
+20
*
all: fix various doc comment formatting nits
Russ Cox
2022-04-01
1
-10
/
+10
*
cmd/compile: upgrade prove pass to know results of math/bits ops are nonnegative
Keith Randall
2022-03-27
1
-1
/
+6
*
cmd/compile/ssa: optimize the derivable known branch of If block
eric fang
2021-04-28
1
-11
/
+15
*
cmd/compile: use transitive relations for slice len/cap in poset
Cuong Manh Le
2021-02-23
1
-2
/
+14
*
cmd/compile: check indirect connection between if block and phi block in addL...
Cholerae Hu
2020-11-07
1
-1
/
+1
*
cmd/compile: correct type of CvtBoolToUint8 values
Josh Bleecher Snyder
2020-08-13
1
-1
/
+1
*
cmd/compile: don't addLocalInductiveFacts if there is no direct edge from if ...
Cholerae Hu
2020-07-30
1
-0
/
+8
*
cmd/compile: in prove, zero right shifts of positive int by #bits - 1
Keith Randall
2020-05-11
1
-5
/
+28
*
cmd/compile: use only bit patterns in isNonNegative
Josh Bleecher Snyder
2020-03-09
1
-3
/
+3
*
cmd/compile: ignore div/mod in prove on non-x86 architectures
Josh Bleecher Snyder
2020-02-27
1
-0
/
+6
*
cmd/compile: handle more cases in isNonNegative
Josh Bleecher Snyder
2020-02-27
1
-3
/
+31
*
cmd/compile: remove Greater* and Geq* generic integer ops
Michael Munday
2020-02-26
1
-18
/
+0
*
cmd/compile: clarify division bounds check optimization
Josh Bleecher Snyder
2020-02-21
1
-3
/
+5
*
cmd/compile: fix liveness for open-coded defer args for infinite loops
Dan Scales
2019-11-05
1
-3
/
+3
*
cmd/compile: in prove, give a different name to each poset
Giovanni Bajo
2019-10-20
1
-19
/
+21
*
cmd/compile: attempt to preserve statements when prove removes code
David Chase
2019-10-04
1
-1
/
+6
*
cmd/compile: allow multiple SSA block control values
Michael Munday
2019-10-02
1
-10
/
+11
*
cmd/compile: in prove, learn facts from OpSliceMake
Giovanni Bajo
2019-09-26
1
-0
/
+27
*
cmd/compile: handle sign/zero extensions in prove, via update method
zdjones
2019-08-27
1
-0
/
+41
*
cmd/compile: fix range analysis of small signed integers
Matthew Dempsky
2019-06-12
1
-2
/
+16
*
cmd/compile: update stale comment in prove
zdjones
2019-03-31
1
-2
/
+1
*
cmd/compile: make prove learn index >= 0 from successful bounds checks
zdjones
2019-03-30
1
-19
/
+29
*
cmd/compile: preempt repeated checks for the zero constant in prove
zdjones
2019-03-29
1
-17
/
+1
*
cmd/compile: make prove use poset to check non-negatives
zdjones
2019-03-29
1
-14
/
+21
*
cmd/compile: fix deriving from x+d >= w on overflow in prove pass
Cherry Zhang
2019-01-02
1
-4
/
+15
*
cmd/compile: use proved bounds to remove signed division fix-ups
ChrisALiles
2018-10-23
1
-0
/
+23
*
cmd/compile/internal/ssa: fix a typo
Brad Fitzpatrick
2018-09-24
1
-2
/
+2
*
cmd/compile: in prove, fix fence-post implications for unsigned domain
Giovanni Bajo
2018-08-31
1
-2
/
+7
*
cmd/compile: detect OFORUNTIL inductive facts in prove
Austin Clements
2018-05-22
1
-0
/
+105
*
cmd/compile: derive len/cap relations in factsTable.update
Austin Clements
2018-05-22
1
-25
/
+31
*
cmd/compile: teach prove about relations between constants
Austin Clements
2018-05-22
1
-0
/
+15
*
cmd/compile: reduce allocations in prove by reusing posets
Giovanni Bajo
2018-05-14
1
-4
/
+21
*
cmd/compile: recognize some OpRsh64Ux64 Values as non-negative
Josh Bleecher Snyder
2018-05-01
1
-0
/
+4
*
cmd/compile: use AuxInt to store shift boundedness
Josh Bleecher Snyder
2018-04-30
1
-1
/
+1
*
cmd/compile: simplify shifts using bounds from prove pass
Josh Bleecher Snyder
2018-04-29
1
-0
/
+27
*
cmd/compile: teach prove to handle expressions like len(s)-delta
Giovanni Bajo
2018-04-29
1
-59
/
+86
*
cmd/compile: in prove, detect loops with negative increments
Giovanni Bajo
2018-04-29
1
-2
/
+11
*
cmd/compile: implement loop BCE in prove
Giovanni Bajo
2018-04-29
1
-2
/
+117
*
cmd/compile: in prove, infer unsigned relations while branching
Giovanni Bajo
2018-04-29
1
-0
/
+3
*
cmd/compile: in prove, add transitive closure of relations
Giovanni Bajo
2018-04-29
1
-22
/
+61
*
cmd/compile: log Ctz non-zero proofs
Josh Bleecher Snyder
2018-04-27
1
-0
/
+3
*
cmd/compile: use prove pass to detect Ctz of non-zero values
Josh Bleecher Snyder
2018-04-26
1
-24
/
+38
[next]