linux - Linux Kernel (branches are rebased on master from time to time)

Age	Commit message (Expand)	Author	Files	Lines
2021-06-01	bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mul	Harishankar Vishwanathan	1	-19/+22
2020-03-30	bpf: Verifier, do explicit ALU32 bounds tracking	John Fastabend	1	-0/+15
2020-01-15	bpf: Fix incorrect verifier simulation of ARSH under ALU32	Daniel Borkmann	1	-2/+7
2019-05-21	treewide: Add SPDX license identifier for missed files	Thomas Gleixner	1	-0/+1
2018-04-29	bpf/verifier: improve register value range tracking with ARSH	Yonghong Song	1	-0/+10
2017-08-08	bpf/verifier: track signed and unsigned min/max values	Edward Cree	1	-0/+16
2017-08-08	bpf/verifier: rework value tracking	Edward Cree	1	-0/+164