]> Cypherpunks repositories - gostls13.git/commit
projects / gostls13.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: a0f33b2) | patch
cmd/compile: teach prove about unsigned rounding-up divide
authorJorropo <jorropo.pgm@gmail.com>
Sat, 25 Oct 2025 07:25:27 +0000 (09:25 +0200)
committerGopher Robot <gobot@golang.org>
Tue, 28 Oct 2025 02:08:00 +0000 (19:08 -0700)
commit77dc1380308f5129952c16b6940dea7ddd4e17b9
tree4cc336a8786000b4200d9c0b6123e281c1a6794ftree
parenta0f33b28878817546fa6233f9701672482e39834commit | diff
cmd/compile: teach prove about unsigned rounding-up divide

Change-Id: Ia7b5242c723f83ba85d12e4ca64a19fbbd126016
Reviewed-on: https://go-review.googlesource.com/c/go/+/714622
Auto-Submit: Jorropo <jorropo.pgm@gmail.com>
Reviewed-by: Keith Randall <khr@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Michael Knyszek <mknyszek@google.com>
src/cmd/compile/internal/ssa/prove.go diff | blob | history
test/prove.go diff | blob | history
Go GOST TLS 1.3