Recached

vbpf / prevail
86%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 787 Last
Files 79
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: SELECT
CHANGE BRANCH
x
Sync Branches

coverage: 86.363%. Remained the same
Relevant lines Covered
10398 RELEVANT LINES 8980 COVERED LINES
6421370.53 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
26571272986 main Release v0.2.3 Bump project version and add CHANGELOG entry covering 39 commits since v0.2.2: soundness fixes, sleepable program support, helper/kfunc validation, and the thread-local-globals removal. Co-Authored-By: Claude Opus 4.7 (1M context)... push elazarg github
86.36
26462976981 main Enforce map-function compatibility checks (#1127) Add allowed_map_types bitmask to EbpfHelperPrototype, threaded through CallContract and checked via a new ValidMapType assertion. This encodes the function→map direction of the kernel's check_map_... push web-flow github
86.36
26458673732 map-func-compat Merge e77e5e1d5 into 751980071 Pull #1127 web-flow github
86.36
26457718327 map-func-compat Merge ec5d2cf44 into 751980071 Pull #1127 web-flow github
86.37
26457482655 main Add sleepable program support and might_sleep helper gating (#1136) Add might_sleep flag to EbpfHelperPrototype and is_sleepable flag to EbpfProgramType. Helpers marked might_sleep are rejected in non-sleepable programs via is_helper_usable. Sle... push web-flow github
86.38
26457399929 sleepable-might-sleep Merge 44aaa2936 into af27d2171 Pull #1136 web-flow github
86.38
26453198413 main Add missing reallocate_packet flags for 8 helpers The kernel's bpf_helper_changes_pkt_data() (v6.18) marks these helpers as modifying packet data, but prevail's prototypes lacked the reallocate_packet flag: clone_redirect, l3_csum_replace, l4_csu... push elazarg github
86.38
26452665556 get-local-storage-flags Merge d6e8c16ed into 1c44e42c0 Pull #1129 web-flow github
86.37
26452821572 map-func-compat Merge 5d2afc00d into 1c44e42c0 Pull #1127 web-flow github
86.37
26452530261 sleepable-might-sleep Merge a97a48707 into 1c44e42c0 Pull #1136 web-flow github
86.38
See All Builds (766)

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