21417915433
87%

Ran 27 Jan 2026 11:24PM UTC

Jobs 2

Files 74

Run time 1min

Badge

Embed ▾

Committed 27 Jan 2026 10:55PM UTC coverage: 86.792% (+0.1%) from 86.664%

Build # 21417915433

Build Type

push

github

Committed by

web-flow

Commit Message

Add comprehensive documentation for Prevail eBPF verifier (#979)

Create docs/ directory with detailed documentation covering:
- README.md: Overview and quick links
- architecture.md: High-level system architecture
- abstract-interpretation.md: Core verification approach
- abstract-domains.md: Crab domain hierarchy
- instruction-semantics.md: eBPF instruction modeling
- cfg.md: Control flow graph and WTO
- memory-model.md: Stack, packet, context handling
- type-system.md: Type domains and verification
- building.md: Build instructions for all platforms
- testing.md: Test infrastructure guide
- glossary.md: Terminology definitions

---------

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

Run Details

9127 of 10516 relevant lines covered (86.79%)

3833967.43 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
1	99.7	-0.3%	src/test/test_conformance.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 21417915433.1	28 Jan 2026 12:02AM UTC	74	84.45	GitHub Action Run
2	run-Release - 21417915433.2	27 Jan 2026 11:24PM UTC	73	85.92	GitHub Action Run

Alan-Jowett / ebpf-verifier / 21417915433
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 21417915433

Alan-Jowett / ebpf-verifier / 21417915433 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 21417915433

Alan-Jowett / ebpf-verifier / 21417915433
87%

README BADGES
x