Search results

Thread CallBtf::module into kfunc resolution to distinguish same-BTF-id kfuncs across modules

Status: Open.

#1098 In vbpf/prevail;

· coderabbitai opened on Apr 24, 2026

Build a verifier server on top of the reusable analysis API

design

Status: Open.

#1087 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Split runtime semantics from presentation and orchestration options

design

Status: Open.

#1085 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Define the reusable analysis API that the CLI and server can share

design

Status: Open.

#1084 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Populate the stable public verifier API facade

design

Status: Open.

#1083 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Define a project-level error-handling policy

design

Status: Open.

#1079 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Separate analysis snapshots from diagnostics and rendering

design

Status: Open.

#1078 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Fix invalid terminology on inventory generation

Status: Open.

#1043 In vbpf/prevail;

· elazarg opened on Feb 23, 2026

C++23

Status: Open.

#1027 In vbpf/prevail;

· elazarg opened on Feb 20, 2026

Invariant output stops at first error, hiding loop predecessor state needed for debugging

Status: Open.

#1010 In vbpf/prevail;

· Alan-Jowett opened on Feb 17, 2026

Introducing prevail-rust

Status: Open.

#1000 In vbpf/prevail;

· elazarg opened on Feb 13, 2026

Alternative implementation for the CFG computation

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#953 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025