vbpf / prevail
87%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 310 Last
Files 74
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.605%. Remained the same
Relevant lines Covered
10414 RELEVANT LINES 9019 COVERED LINES
3908170.08 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20511586485 main Enable prevail installation as an external library (#965) * Enable Prevail to be used as an external library by adding CMake install logic and generating package configuration files. This allows external projects to integrate Prevail via `find_pa... push web-flow github
86.6
20196952933 main Bump actions/cache from 4 to 5 Bumps [actions/cache](https://github.com/actions/cache) from 4 to 5. - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md) - [Commits](htt... push elazarg github
86.6
20077594047 main CXX settings shouldn't span lines as this causes wrongly generated vcxproj files Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> push elazarg github
86.6
19598757569 main Bump actions/checkout from 5 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... push elazarg github
86.6
19597695354 main Allow prevail consumers to override MSVC settings Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> push elazarg github
86.6
19392610967 main Bump external/bpf_conformance from `6fa6a20` to `35b1eb1` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `6fa6a20` to `35b1eb1`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [... push elazarg github
86.6
19349381683 main Fix: Only install git hooks if .git is a directory (submodule-safe) (#954) Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> push web-flow github
86.6
19195181515 main Implement checks for the --line-info flag and move program selection into read_elf (#946) * Check when --line-info is used, and avoid computing btf_line_info in read_elf and unmarshall * Modify main and read_elf to avoid returning multiple RawPro... push web-flow github
86.6
19167093626 main Improve how the CFG is returned and how the loop counters are inserted in from_sequence (#945) * Modify for_each_loop_head to iter over nested loop heads, allowing from_sequence to add IncrementLoopCounter in nested components * Modify from_sequ... push web-flow github
86.91
19160449367 main Optimize assertion creation (#944) Pass parameters by reference instead of by value when generating assertions. Signed-off-by: Maxime Derri <maxime.derri@orange.com> push web-flow github
86.92
See All Builds (295)

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