Search results

Build a verifier server on top of the reusable analysis API

design

Status: Open.

#1087 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Make helper/call and memory-region semantics explicit

design

Status: Open.

#1086 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

Decompose Program::from_sequence into named preparation passes

design

Status: Open.

#1081 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Separate ProgramInfo environment from immutable platform facts

design

Status: Open.

#1080 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