vbpf / ebpf-verifier / 11978729463

Builds Branch Commit Type Ran Committer Via Coverage
11978729463 reloc-fuzz-fix Merge 47a35b0ee into e4750ee30 Pull #800 web-flow github
90.14
11974298276 simplify-print Merge eff7e07c0 into e4750ee30 Pull #799 web-flow github
89.83
11974122209 simplify-print Merge 5caf64490 into e4750ee30 Pull #799 web-flow github
89.83
11962772414 main do not chain equalities * print only one variable per equivalence class * update tests Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
90.14
11941918674 simpl-repr Merge 81cf8de61 into 04f0e92f2 Pull #798 web-flow github
90.14
11939798569 simpl-repr Merge 2f2966f1a into 04f0e92f2 Pull #798 web-flow github
90.18
11880311331 main No transform when checking + check code reorg (second attempt) (#796) * Avoiding ebpf_transform on check should improve performance * Verifiy in phases * Add the assume commands that triggered unreachability to error messages * More constness ... push web-flow github
90.16
11880010843 2transform-2once Merge e8dc77cfd into 8143eb205 Pull #796 web-flow github
90.16
11879907033 2transform-2once Merge 03ca56c64 into 8143eb205 Pull #796 web-flow github
90.17
11879738438 2transform-2once Merge 835e315e2 into 8143eb205 Pull #796 web-flow github
90.16
11879496433 2transform-2once Merge e69959971 into 8143eb205 Pull #796 web-flow github
90.18
11873318293 main Bump external/libbtf from `2de28d7` to `2f68368` Bumps [external/libbtf](https://github.com/Alan-Jowett/libbtf) from `2de28d7` to `2f68368`. - [Release notes](https://github.com/Alan-Jowett/libbtf/releases) - [Commits](https://github.com/Alan-Jow... push elazarg github
90.63
11873319035 main Bump external/bpf_conformance from `b544539` to `3357834` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `b544539` to `3357834`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [... push elazarg github
90.63
11871678245 dependabot/submodules/external/libbtf-2f68368 Merge 354d046f5 into 37be0297d Pull #794 web-flow github
90.64
11871678857 dependabot/submodules/external/bpf_conformance-3357834 Merge 2b294beb2 into 37be0297d Pull #795 web-flow github
90.64