linux.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2025-08-27	bpf: Improve the general precision of tnum_mul	Nandakumar Edamana	1	-13/+42
2025-08-22	bpf: Use tnums for JEQ/JNE is_branch_taken logic	Paul Chaignon	1	-0/+8
2025-06-25	bpf: Add range tracking for BPF_NEG	Song Liu	1	-0/+5
2023-12-02	bpf: simplify tnum output if a fully known constant	Andrii Nakryiko	1	-6/+0
2023-11-15	bpf: generalize reg_set_min_max() to handle non-const register comparisons	Andrii Nakryiko	1	-1/+6
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