vbpf / prevail
87%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 403 Last
Files 77
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x
Sync Branches

coverage: 86.783%. Remained the same
Relevant lines Covered
10797 RELEVANT LINES 9370 COVERED LINES
3130470.83 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
21977173154 main Add LLM context document for verification failure diagnosis (#996) * Add LLM context document and regression tests for verification failures Add docs/llm-context.md: a comprehensive guide for diagnosing Prevail eBPF verification failures. Covers... push web-flow github
86.78
21928575253 main update .gitignore Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
86.78
21880446004 main Fix inverted is_stable predicate in close_after_widen UnstableWrap::operator[] returned true for unstable vertices, but was passed as the `is_stable` parameter to close_after_widen. This caused Dijkstra recovery to run from stable vertices (no-op... push elazarg github
86.78
21854838960 main Fix duplicate CFG labels in function macro processing The loop walking successor nodes incorrectly inserted macro_label (the current node) into seen_labels instead of next_macro_label (the successor). This caused successors to be added to macro_l... push elazarg github
86.7
21783202310 main Fix CMake nesting issues (#987) * Fix CMake nesting issues. * cmake: Add binary_dir to add_subdirectory calls for FetchContent compatibility When prevail is consumed via FetchContent, PROJECT_SOURCE_DIR becomes an absolute path under the build ... push web-flow github
86.7
21748240012 main SplitDBM as one-sided numerical domain (#985) Signed-off-by: Elazar Gershuni <elazarg@gmail.com> Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com> push web-flow github
86.7
21734249471 main ci: add apt-get update before installing packages The CodeQL and coverage workflows were failing because the runner's cached apt index referenced Boost 1.83 .deb files that have since been superseded on security.ubuntu.com, resulting in 404 error... push elazarg github
86.69
21655028773 main Add observation/invariant consistency checks + YAML support (#976) Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> push web-flow github
86.69
21554037376 main Fail fast on invalid radix_substr shifts (UBSan #602) (#977) Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> push web-flow github
86.74
21554008919 main Bump external/libbtf from `e1e4e01` to `846bf15` Bumps [external/libbtf](https://github.com/Alan-Jowett/libbtf) from `e1e4e01` to `846bf15`. - [Release notes](https://github.com/Alan-Jowett/libbtf/releases) - [Commits](https://github.com/Alan-Jow... push elazarg github
86.79
See All Builds (388)

Badge your Repo: prevail

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh