| Published | Title | Version | Author | Status |
|---|---|---|---|---|
| 2026-04-15 16:07 UTC | Detect and prune dead branches using intersection checks | 1 | harishankar.vishwanathan@gmail.com | finished in 4h23m0s |
| 2026-04-02 15:08 UTC | Fix invariant violations and improve branch detection | 3 | paul.chaignon@gmail.com | finished in 4h34m0s |
| 2026-03-20 16:47 UTC | Fix invariant violations and improve branch detection | 2 | paul.chaignon@gmail.com | finished in 4h38m0s |
| 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 |