vbpf / ebpf-verifier / 11300309219

Builds Branch Commit Type Ran Committer Via Coverage
11300309219 bpf2bpf-stack Merge c5ba6d735 into 257897c60 Pull #721 web-flow github
90.32
11196211497 gsl-narrow-heap Merge 166ab80ea into 257897c60 Pull #713 web-flow github
90.29
11195912601 main Fix bpf2bpf bug when multiple branches in a subprogram go to exit (#715) * Fix bpf2bpf bug when multiple branches in a subprogram go to exit The bug was that the successor label could be processed multiple times if there were multiple predece... push web-flow github
90.29
11195700343 bpf2bpf-branches Merge 42d9a8e25 into a2b84ac08 Pull #715 web-flow github
90.29
11195580928 main Log line info when dumping invariants (#716) * Log line info when dumping invariants * clang format and tidy crab_verifier.cpp --------- Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> Co-authored-by: Elazar Gershuni <elazarg@gmail.com> push web-flow github
90.29
11195358266 issue688 Merge 3e6f4a717 into 86eee70a7 Pull #716 web-flow github
90.29
11195218248 main Bump external/radix_tree from `b1792eb` to `9eedb58` Bumps [external/radix_tree](https://github.com/elazarg/radix_tree_20) from `b1792eb` to `9eedb58`. - [Commits](https://github.com/elazarg/radix_tree_20/compare/b1792eb0a8cd195bc55b17a37795c0333... push elazarg github
90.39
11195215454 main Bump external/bpf_conformance from `8bd493f` to `0b55764` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `8bd493f` to `0b55764`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [... push elazarg github
90.39
11195214016 main Bump external/libbtf from `18569b3` to `eac5f80` Bumps [external/libbtf](https://github.com/Alan-Jowett/libbtf) from `18569b3` to `eac5f80`. - [Release notes](https://github.com/Alan-Jowett/libbtf/releases) - [Commits](https://github.com/Alan-Jow... push elazarg github
90.39
11194788612 dependabot/submodules/external/radix_tree-9eedb58 Merge 21585a435 into 00683a5b9 Pull #717 web-flow github
90.39
11194789288 dependabot/submodules/external/libbtf-eac5f80 Merge 05f4d4eec into 00683a5b9 Pull #719 web-flow github
90.39
11194788988 dependabot/submodules/external/bpf_conformance-0b55764 Merge 95ad0aa46 into 00683a5b9 Pull #718 web-flow github
90.39
11185955851 issue688 Merge 85ad3d889 into 00683a5b9 Pull #716 web-flow github
90.29
11185827401 issue688 Merge 15796ecde into 00683a5b9 Pull #716 web-flow github
90.29
11171794408 bpf2bpf-branches Merge 132da6d49 into 00683a5b9 Pull #715 web-flow github
90.39