Cypherpunks.ru repositories - gostls13.git/history

]> Cypherpunks.ru repositories - gostls13.git/history - test/prove.go

2023-10-19	Dmitri Shuralyov	test: migrate remaining files to go:build syntax	blob \| commitdiff \| raw
2023-04-10	Cuong Manh Le	cmd/compile: teach prove about bitwise OR operation	blob \| commitdiff \| raw \| diff to current
2023-04-07	ruinan	cmd/compile: get more bounds info from logic operators...	blob \| commitdiff \| raw \| diff to current
2023-02-27	Michael Munday	cmd/compile: use zero constants in comparisons where...	blob \| commitdiff \| raw \| diff to current
2023-01-24	Keith Randall	Revert "cmd/compile: teach prove about bitwise OR opera...	blob \| commitdiff \| raw \| diff to current
2023-01-23	Jorropo	cmd/compile: teach prove about unsigned division, modul...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Keith Randall	cmd/compile: recognize when the result of append has...	blob \| commitdiff \| raw \| diff to current
2022-08-31	Wayne Zuo	cmd/compile: teach prove about bitwise OR operation	blob \| commitdiff \| raw \| diff to current
2022-08-31	Wayne Zuo	cmd/compile: derive relation between x+delta and x...	blob \| commitdiff \| raw \| diff to current
2022-08-18	Keith Randall	cmd/compile: don't use OFORUNTIL when implementing...	blob \| commitdiff \| raw \| diff to current
2022-05-08	Wayne Zuo	cmd/compile: teach prove about and operation	blob \| commitdiff \| raw \| diff to current
2021-07-06	Jay Conrod	[dev.cmdgo] all: merge master (912f075) into dev.cmdgo	blob \| commitdiff \| raw \| diff to current
2021-05-17	Katie Hockman	[dev.fuzz] all: merge master (d137b74) into dev.fuzz	blob \| commitdiff \| raw \| diff to current
2021-05-13	Filippo Valsorda	[dev.boringcrypto] all: merge commit 9d0819b27c (CL...	blob \| commitdiff \| raw \| diff to current
2021-05-11	Cherry Mui	[dev.typeparams] all: merge master (9b84814) into dev...	blob \| commitdiff \| raw \| diff to current
2021-02-24	John Bampton	docs: fix spelling	blob \| commitdiff \| raw \| diff to current
2021-02-23	Cuong Manh Le	cmd/compile: use transitive relations for slice len...	blob \| commitdiff \| raw \| diff to current
2020-12-14	Katie Hockman	[dev.fuzz] all: merge master into dev.fuzz	blob \| commitdiff \| raw \| diff to current
2020-11-20	Robert Griesemer	[dev.typeparams] Merge branch 'master' into dev.typeparams	blob \| commitdiff \| raw \| diff to current
2020-11-18	Roland Shoemaker	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2020-11-17	Dmitri Shuralyov	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2020-11-07	Cholerae Hu	cmd/compile: check indirect connection between if block...	blob \| commitdiff \| raw \| diff to current
2020-07-31	Cherry Zhang	[dev.link] all: merge branch 'master' into dev.link	blob \| commitdiff \| raw \| diff to current
2020-07-30	Cholerae Hu	cmd/compile: don't addLocalInductiveFacts if there...	blob \| commitdiff \| raw \| diff to current
2020-07-09	Dmitri Shuralyov	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2020-05-14	Jeremy Faller	[dev.link] all: merge master to dev.link	blob \| commitdiff \| raw \| diff to current
2020-05-11	Keith Randall	cmd/compile: in prove, zero right shifts of positive...	blob \| commitdiff \| raw \| diff to current
2020-04-08	Filippo Valsorda	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2020-02-28	Cherry Zhang	[dev.link] all: merge branch 'master' into dev.link	blob \| commitdiff \| raw \| diff to current
2020-02-26	Michael Munday	cmd/compile: remove Greater* and Geq* generic integer ops	blob \| commitdiff \| raw \| diff to current
2019-11-19	Filippo Valsorda	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2019-10-18	Cherry Zhang	[dev.link] all: merge branch 'master' into dev.link	blob \| commitdiff \| raw \| diff to current
2019-10-12	zdjones	cmd/compile: make poset use sufficient conditions for...	blob \| commitdiff \| raw \| diff to current
2019-10-04	Cherry Zhang	[dev.link] all: merge branch 'master' into dev.link	blob \| commitdiff \| raw \| diff to current
2019-10-03	David Chase	cmd/compile: run deadcode before nilcheck for better...	blob \| commitdiff \| raw \| diff to current
2019-09-26	Giovanni Bajo	cmd/compile: in prove, learn facts from OpSliceMake	blob \| commitdiff \| raw \| diff to current
2019-09-03	Katie Hockman	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2019-08-27	zdjones	cmd/compile: handle sign/zero extensions in prove,...	blob \| commitdiff \| raw \| diff to current
2019-05-28	Filippo Valsorda	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2019-03-30	zdjones	cmd/compile: make prove learn index >= 0 from successfu...	blob \| commitdiff \| raw \| diff to current
2019-03-29	David Chase	cmd/compile: enhance induction variable detection for...	blob \| commitdiff \| raw \| diff to current
2019-03-29	zdjones	cmd/compile: make prove use poset to check non-negatives	blob \| commitdiff \| raw \| diff to current
2019-03-09	Keith Randall	cmd/compile: reverse order of slice bounds checks	blob \| commitdiff \| raw \| diff to current
2019-02-08	Filippo Valsorda	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2019-01-02	Cherry Zhang	cmd/compile: fix deriving from x+d >= w on overflow...	blob \| commitdiff \| raw \| diff to current
2018-12-14	Martin Möhrmann	cmd/compile: fix length overflow when appending element...	blob \| commitdiff \| raw \| diff to current
2018-12-07	David Chase	cmd/compile: check for negative upper bound to IsSliceI...	blob \| commitdiff \| raw \| diff to current
2018-09-06	Filippo Valsorda	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2018-08-31	Giovanni Bajo	cmd/compile: in prove, fix fence-post implications...	blob \| commitdiff \| raw \| diff to current
2018-07-09	Keith Randall	cmd/compile: ensure that loop condition is detected...	blob \| commitdiff \| raw \| diff to current
2018-05-25	Filippo Valsorda	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2018-05-22	Austin Clements	cmd/compile: don't produce a past-the-end pointer in...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Austin Clements	cmd/compile: detect OFORUNTIL inductive facts in prove	blob \| commitdiff \| raw \| diff to current
2018-05-18	Filippo Valsorda	[dev.boringcrypto] all: merge master into dev.boringcrypto	blob \| commitdiff \| raw \| diff to current
2018-04-29	Giovanni Bajo	cmd/compile: teach prove to handle expressions like...	blob \| commitdiff \| raw \| diff to current
2018-04-29	Giovanni Bajo	cmd/compile: improve testing of induction variables	blob \| commitdiff \| raw \| diff to current
2018-04-29	Giovanni Bajo	cmd/compile: implement loop BCE in prove	blob \| commitdiff \| raw \| diff to current
2018-04-29	Giovanni Bajo	cmd/compile: in prove, infer unsigned relations while...	blob \| commitdiff \| raw \| diff to current
2018-04-29	Giovanni Bajo	cmd/compile: in prove, add transitive closure of relations	blob \| commitdiff \| raw \| diff to current
2018-04-03	Giovanni Bajo	cmd/compile: in prove, complete support for OpIsInBound...	blob \| commitdiff \| raw \| diff to current
2018-03-08	Austin Clements	cmd/compile: add fence-post implications to prove	blob \| commitdiff \| raw \| diff to current
2018-03-08	Austin Clements	cmd/compile: derive unsigned limits from signed limits...	blob \| commitdiff \| raw \| diff to current
2018-03-08	Austin Clements	cmd/compile: make prove pass use unsatisfiability	blob \| commitdiff \| raw \| diff to current
2017-04-07	Ilya Tocar	cmd/compile/internal/gc: improve comparison with consta...	blob \| commitdiff \| raw \| diff to current
2017-02-02	Keith Randall	cmd/compile: use len(s)<=cap(s) to remove more bounds...	blob \| commitdiff \| raw \| diff to current
2017-02-02	Keith Randall	cmd/compile: fix CSE with commutative ops	blob \| commitdiff \| raw \| diff to current
2016-10-20	David Chase	cmd/compile: Repurpose old sliceopt.go for prove phase.	blob \| commitdiff \| raw \| diff to current
2016-09-15	Josh Bleecher Snyder	cmd/compile: unroll comparisons to short constant strings	blob \| commitdiff \| raw \| diff to current
2016-05-05	Keith Randall	[dev.ssa] Merge remote-tracking branch 'origin/master...	blob \| commitdiff \| raw \| diff to current
2016-04-27	Rick Hudson	[dev.garbage] Merge remote-tracking branch 'origin...	blob \| commitdiff \| raw \| diff to current
2016-04-19	Alexandru Moșoi	cmd/compile: transform some Phis into Or8.	blob \| commitdiff \| raw \| diff to current
2016-04-05	Austin Clements	[dev.garbage] Merge branch 'master' into dev.garbage	blob \| commitdiff \| raw \| diff to current
2016-04-02	Alexandru Moșoi	cmd/compile: handle non-negatives in prove	blob \| commitdiff \| raw \| diff to current
2016-04-01	Alexandru Moșoi	cmd/compile/internal/ssa: BCE for induction variables	blob \| commitdiff \| raw \| diff to current
2016-03-31	Keith Randall	cmd/compile: extend prove pass to handle constant compa...	blob \| commitdiff \| raw \| diff to current
2016-03-28	Austin Clements	[dev.garbage] Merge remote-tracking branch 'origin...	blob \| commitdiff \| raw \| diff to current
2016-03-13	Alexandru Moșoi	cmd/compile/internal/ssa: generalize prove to all booleans	blob \| commitdiff \| raw \| diff to current
2016-03-02	Austin Clements	[dev.garbage] Merge branch 'master' into dev.garbage	blob \| commitdiff \| raw \| diff to current
2016-03-01	Gerrit Code Review	Merge "Merge branch 'dev.ssa' into mergebranch"	blob \| commitdiff \| raw \| diff to current
2016-03-01	Keith Randall	Merge branch 'dev.ssa' into mergebranch	blob \| commitdiff \| raw \| diff to current
2016-02-29	Gerrit Code Review	Merge "[dev.ssa] Merge remote-tracking branch 'origin...	blob \| commitdiff \| raw \| diff to current
2016-02-28	Alexandru Moșoi	[dev.ssa] cmd/compile/internal/ssa: remove proven redun...	blob \| commitdiff \| raw \| diff to current

Go GOST TLS 1.3

RSS Atom