| 2026-03-20 16:47 UTC |
Fix invariant violations and improve branch detection |
2 |
paul.chaignon@gmail.com |
finished
in 4h38m0s
|
| 2026-03-20 16:23 UTC |
bpf: Simplify tnum_step() |
2 |
sunhao.th@gmail.com |
finished
in 4h19m0s
|
| 2026-03-18 16:28 UTC |
bpf: implement __reg_deduce_bounds() using wrapped intervals |
1 |
eddyz87@gmail.com |
finished
in 4h7m0s
|
| 2026-03-13 22:54 UTC |
Fix invariant violations and improve branch detection |
1 |
paul.chaignon@gmail.com |
finished
in 4h19m0s
|
| 2026-03-07 00:01 UTC |
bpf: Avoid one round of bounds deduction |
2 |
paul.chaignon@gmail.com |
finished
in 4h49m0s
|
| 2026-03-03 19:27 UTC |
bpf: Avoid one round of bounds deduction |
1 |
paul.chaignon@gmail.com |
finished
in 4h16m0s
|
| 2026-02-27 21:32 UTC |
Fix invariant violation for single-value tnums |
3 |
paul.chaignon@gmail.com |
finished
in 4h13m0s
|
| 2026-02-20 13:56 UTC |
Fix invariant violation for single-value tnums |
2 |
paul.chaignon@gmail.com |
finished
in 4h6m0s
|
| 2026-02-17 08:59 UTC |
Fix invariant violation for single-value tnums |
1 |
paul.chaignon@gmail.com |
finished
in 3h58m0s
|
| 2025-11-07 19:23 UTC |
bpf, verifier: Detect empty intersection between tnum and ranges |
1 |
harishankar.vishwanathan@gmail.com |
finished
in 3h40m0s
|
| 2025-11-03 06:31 UTC |
bpf: Skip bounds adjustment for conditional jumps on same scalar register |
4 |
kafai.wan@linux.dev |
finished
in 4h11m0s
|
| 2025-10-31 15:41 UTC |
bpf: Skip bounds adjustment for conditional jumps on same scalar register |
3 |
kafai.wan@linux.dev |
finished
in 3h45m0s
|
| 2025-10-28 15:19 UTC |
bpf: Fix tnum_overlap to check for zero mask intersection |
2 |
kafai.wan@linux.dev |
finished
in 3h50m0s
|
| 2025-10-26 16:38 UTC |
bpf: Fix tnum_overlap to check for zero mask first |
1 |
kafai.wan@linux.dev |
finished
in 3h49m0s
|
| 2025-10-25 05:30 UTC |
bpf: Skip bounds adjustment for conditional jumps on same register |
2 |
kafai.wan@linux.dev |
finished
in 3h41m0s
|
| 2025-10-22 16:44 UTC |
bpf: Skip bounds adjustment for conditional jumps on same register |
1 |
kafai.wan@linux.dev |
finished
in 4h1m0s
|
| 2025-08-26 03:45 UTC |
bpf: Improve the general precision of tnum_mul |
6 |
nandakumar@nandakumar.co.in |
finished
in 3h55m0s
|
| 2025-08-25 17:29 UTC |
bpf: improve the general precision of tnum_mul |
5 |
nandakumar@nandakumar.co.in |
finished
in 4h19m0s
|
| 2025-08-22 17:08 UTC |
bpf: improve the general precision of tnum_mul |
4 |
nandakumar@nandakumar.co.in |
finished
in 3h47m0s
|
| 2025-08-22 17:04 UTC |
bpf: improve the general precision of tnum_mul |
1 |
nandakumar@nandakumar.co.in |
finished
in 3h49m0s
|