vbpf / prevail
87%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 286 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.911% (-0.01%) from 86.923%
Relevant lines Covered
10406 RELEVANT LINES 9044 COVERED LINES
3929777.12 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
19018342762 main Bump external/libbtf from `b674148` to `04281ee` Bumps [external/libbtf](https://github.com/Alan-Jowett/libbtf) from `b674148` to `04281ee`. - [Release notes](https://github.com/Alan-Jowett/libbtf/releases) - [Commits](https://github.com/Alan-Jow... push elazarg github
86.94
19017736921 main Bump ebpf-samples from `aff94d9` to `65b12c6` Bumps [ebpf-samples](https://github.com/vbpf/ebpf-samples) from `aff94d9` to `65b12c6`. - [Release notes](https://github.com/vbpf/ebpf-samples/releases) - [Commits](https://github.com/vbpf/ebpf-sample... push elazarg github
86.94
19017714102 main Updating StringInvariant to use moves vs copies - and updating callsites (#942) Signed-off-by: Keith Horton <khorton@microsoft.com> Co-authored-by: Elazar Gershuni <elazarg@gmail.com> push web-flow github
86.94
19017013981 main Optimizations and improved FiniteNumber handling (#937) * optimizations: move semantics * explicit, static join * separate finite domain operations from splitdbm Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push web-flow github
86.94
18871862339 main Bump CLI11 to v2.6.1 Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
87.45
18751982983 main Consolidate verification logic, fail-fast printing (#932) Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push web-flow github
87.45
18713798675 main organize folder structure: spec/ and ir/ Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
87.32
18709033614 main format Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
87.32
See All Builds (270)

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