vbpf / ebpf-verifier / 7372767046

Builds Branch Commit Type Ran Committer Via Coverage
7372767046 main Fix misleading instruction_count message Since PR #479, PREVAIL now computes a loop iteration count, not an instruction_count, so update messages and symbols names accordingly. Fixes #542 Signed-off-by: Dave Thaler <dthaler1968@gmail.com> push elazarg github
89.5
7372483521 termination Merge 66128f215 into d239aa395 Pull #556 web-flow github
89.5
7372467088 termination Merge e006c5222 into d239aa395 Pull #556 web-flow github
89.5
7365687650 main Bump external/bpf_conformance from `ab34094` to `9b6abdf` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `ab34094` to `9b6abdf`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [... push elazarg github
89.5
7365218247 dependabot/submodules/external/bpf_conformance-9b6abdf Merge b935412f6 into 3321c602f Pull #555 web-flow github
89.5
7353670816 main Add bswap instructions Fixes #531 Signed-off-by: Dave Thaler <dthaler1968@gmail.com> push elazarg github
89.5
7351955483 byteswap Merge 7618a141b into 81a834d64 Pull #554 web-flow github
89.5
7351896744 byteswap Merge 0398cbafb into 81a834d64 Pull #554 web-flow github
89.49
7342914401 main Add 32-bit unconditional jump instruction This instruction is part of the cpu=v4 set of instructions recently added, and specified in https://www.ietf.org/archive/id/draft-ietf-bpf-isa-00.html#jump-instructions Fixes #532 Signed-off-by: Dave Th... push elazarg github
89.58
7341843441 ja32 Merge e1904d87e into 38ebf365a Pull #552 web-flow github
89.58
7327740203 main Update bpf_conformance to latest This PR combines #543 and #544 Also removes a redundant inclusion of the elfio library Signed-off-by: Dave Thaler <dthaler1968@gmail.com> push elazarg github
89.55
7323515499 conformance Merge 9a264f6a9 into e1d7afc85 Pull #551 web-flow github
89.55
7316503092 main Add support for MOVSX* instructions Per https://www.ietf.org/archive/id/draft-ietf-bpf-isa-00.html#section-3.1 Signed-off-by: Dave Thaler <dthaler1968@gmail.com> push elazarg github
89.55
7316476963 dependabot/submodules/external/bpf_conformance-ab34094 Merge e486a9ce5 into 28f6f6984 Pull #543 web-flow github
89.58
7316473299 main Bump external/ELFIO from `c5e56b8` to `2b457dd` Bumps [external/ELFIO](https://github.com/serge1/ELFIO) from `c5e56b8` to `2b457dd`. - [Release notes](https://github.com/serge1/ELFIO/releases) - [Commits](https://github.com/serge1/ELFIO/compare/c... push elazarg github
89.58