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
2026-01-23	cmd/compile: cleanup noLimit in prove	Jorropo
2026-01-23	cmd/compile: improve PopCount's limits modeling and add bruteforce tests	Jorropo
2026-01-23	cmd/compile: add limits bruteforce tests for bitlen	Jorropo
2026-01-23	cmd/compile: improve Ctz's limits modeling and add bruteforce tests	Jorropo
2026-01-23	cmd/compile: cleanup isUnsignedPowerOfTwo	Jorropo
2025-12-05	cmd/compile: fix mis-infer bounds in slice len/cap calculations	Cuong Manh Le
2025-12-04	cmd/compile: use isUnsignedPowerOfTwo rather than isPowerOfTwo for unsigneds	Jorropo
2025-11-26	cmd/compile: add tests bruteforcing limit negation and improve limit addition	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	cmd/compile: fix control flow for unsigned divisions proof relations	Jorropo
2025-11-19	cmd/compile: cleanup useless if statement in prove	Jorropo
2025-11-17	cmd/compile: teach prove about subtract idioms	Keith Randall
2025-11-17	cmd/compile: clean up prove pass	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: introduce bytesizeToConst to cleanup switches in prove	Jorropo
2025-10-27	cmd/compile: teach prove about unsigned rounding-up divide	Jorropo
2025-10-27	cmd/compile: change !l.nonzero() into l.maybezero()	Jorropo
2025-10-27	cmd/compile: remove 68857 ModU flowLimit workaround in prove	Jorropo
2025-10-27	cmd/compile: remove 68857 min & max flowLimit workaround in prove	Jorropo
2025-10-27	cmd/compile: use topo-sort in prove to correctly learn facts while walking once	Jorropo
2025-10-15	cmd/compile: eliminate bound check for slices of the same length	Youlin Feng
2025-10-03	cmd/compile: improve slicemask removal	David Chase
2025-10-03	cmd/compile: enhance prove to infer bounds in slice len/cap calculations	David Chase
2025-10-03	cmd/compile: enhance the chunked indexing case to include reslicing	David Chase
2025-10-03	cmd/compile: enhance prove to deal with double-offset IsInBounds checks	David Chase
2025-08-13	cmd/compile: teach prove about len's & cap's max based on the element size	Jorropo
2025-08-12	Revert "cmd/compile/internal/ssa: Use transitive properties for len/cap"	Keith Randall
2025-08-05	cmd: remove dead code	qiulaidongfeng
2025-08-05	cmd/compile/internal/ssa: Use transitive properties for len/cap	Daniel Morsing
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-07-08	cmd/compile: run fmt on ssa	Jorropo
2025-05-19	cmd/compile: derive bounds on signed %N for N a power of 2	Keith Randall
2025-04-11	cmd/compile/internal/ssa: small cleanups	Marcel Meyer
2025-04-11	cmd/compile/internal/ssa: use built-in min, max function	Marcel Meyer
2025-03-11	cmd/compile: compute bitsize from type size in prove to clean some switches	Jorropo
2025-03-11	cmd/compile: compute bits.OnesCount's limits from argument's limits	Jorropo
2025-03-11	cmd/compile: set bits.OnesCount's limits to [0, 64]	Jorropo
2025-03-11	cmd/compile: compute min's & max's limits from argument's limits inside flowL...	Jorropo
2025-02-20	cmd/compile: don't report newLimit discovered when unsat happens multiple times	Jorropo
2025-02-05	cmd/compile: establish limits of bool to uint8 conversions	Jakub Ciolek