Search results

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

WTO is computed multiple times

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#952 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

·  

0.2.1

Generate assertions when they are needed

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#951 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

Global vs static subprogs

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#950 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

Improving execution time and memory consumption of invariant computation and assertion verification

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#949 In vbpf/prevail;

· Maxime-Derri opened on Nov 9, 2025

Feature Request: Add support for resolving helper functions by name instead of ID

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#938 In vbpf/prevail;

· Alan-Jowett opened on Oct 31, 2025

Move definitions inside ebpf_vm_isa.hpp out of prevail namespace

enhancementNew feature or requestNew feature or request

Status: Open.

#876 In vbpf/prevail;

· Alan-Jowett opened on Apr 15, 2025

Add support for static callback functions (used by bpf_for_each_map_elem, bpf_user_ringbuf_drain, bpf_timer_set_callback)

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#797 In vbpf/prevail;

· Alan-Jowett opened on Nov 18, 2024