go - Fork of Go programming language with my patches.

Age	Commit message (Expand)	Author
2026-01-29	cmd/compile: make prove use non-equality in subtraction for a stronger bound	Jonah Uellenberg
2025-12-04	cmd/compile: use isUnsignedPowerOfTwo rather than isPowerOfTwo for unsigneds	Jorropo
2025-11-24	cmd/compile: add cases for StringLen to prove	David Chase
2025-11-21	cmd/compile: rewrite Rsh to RshU if arguments are proved positive	Jorropo
2025-11-21	cmd/compile: propagate unsigned relations for Rsh if arguments are positive	Jorropo
2025-11-21	cmd/compile: fix integer overflow in prove pass	Jakub Ciolek
2025-11-19	test: go fmt prove.go tests	Jorropo
2025-11-17	cmd/compile: teach prove about subtract idioms	Keith Randall
2025-10-30	cmd/compile/internal/ssa: model right shift more precisely	Russ Cox
2025-10-29	cmd/compile: make prove understand div, mod better	Russ Cox
2025-10-28	cmd/compile: rewrite proved multiplies by 0 or 1 into CondSelect	Jorropo
2025-10-27	cmd/compile: teach prove about unsigned rounding-up divide	Jorropo
2025-10-15	cmd/compile: eliminate bound check for slices of the same length	Youlin Feng
2025-10-03	cmd/compile: enhance prove to deal with double-offset IsInBounds checks	David Chase
2025-10-03	cmd/compile: rewrite to elide Slicemask from len==c>0 slicing	David Chase
2025-08-13	cmd/compile: teach prove about len's & cap's max based on the element size	Jorropo
2025-07-30	cmd/compile: check domination of loop return in both controls	Jorropo
2025-07-24	cmd/compile: add missing StringLen rule in prove	Keith Randall
2025-07-24	cmd/compile: learn transitive proofs for safe unsigned subs	Jorropo
2025-07-24	cmd/compile: learn transitive proofs for safe negative signed adds	Jorropo
2025-07-24	cmd/compile: learn transitive proofs for safe positive signed adds	Jorropo
2025-07-24	cmd/compile: learn transitive proofs for safe unsigned adds	Jorropo
2025-03-11	cmd/compile: use min & max builtins to assert constant bounds in prove's tests	Jorropo
2025-03-11	cmd/compile: compute min's & max's limits from argument's limits inside flowL...	Jorropo
2025-02-05	cmd/compile: establish limits of bool to uint8 conversions	Jakub Ciolek
2024-10-29	cmd/compile: teach prove about min/max phi operations	Keith Randall
2024-09-03	cmd/compile: compute Negation's limits from argument's limits	Jorropo
2024-09-03	cmd/compile: compute Complement's limits from argument's limits	Jorropo
2024-09-03	cmd/compile: compute Trunc's limits from argument's limits	Jorropo
2024-09-03	cmd/compile: propagate unsigned limits for Div and Mod if arguments are positive	Jorropo
2024-09-03	cmd/compile: compute Divu's limits from argument's limits	Jorropo
2024-09-03	cmd/compile: compute Modu's maximum limits from argument's limits	Jorropo
2024-09-03	cmd/compile: compute OR's maximum limits from argument's limits	Jorropo
2024-09-03	cmd/compile: compute XOR's limits from argument's limits	Jorropo
2024-09-03	cmd/compile: compute bits.TrailingZeros*'s limits from argument's limits	Jorropo
2024-09-03	cmd/compile: compute bits.Len*'s limits from argument's limits	Jorropo
2024-08-07	cmd/compile: reorganize prove pass domain relation table	khr@golang.org
2024-08-07	cmd/compile: handle boolean and pointer relations	khr@golang.org
2024-08-07	cmd/compile: propagate constant ranges through multiplies and shifts	khr@golang.org
2024-08-07	cmd/compile: rewrite the constant parts of the prove pass	khr@golang.org
2024-01-23	cmd/compile: improve integer comparisons with numeric bounds	Jorropo
2023-10-19	test: migrate remaining files to go:build syntax	Dmitri Shuralyov
2023-04-10	cmd/compile: teach prove about bitwise OR operation	Cuong Manh Le
2023-04-07	cmd/compile: get more bounds info from logic operators in prove pass	ruinan
2023-02-27	cmd/compile: use zero constants in comparisons where possible	Michael Munday
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