All issues

Search results

Over-approximate loop shape generated

Status: Open.

#162 In prusti/pcg;

· zgrannan opened on Apr 14, 2026

Function shape edge being removed too early for call with nested refs

Status: Open.

#151 In prusti/pcg;

· zgrannan opened on Mar 30, 2026

Unsound restoration to E capability after expiry of conditional borrow

Status: Open.

#137 In prusti/pcg;

· zgrannan opened on Feb 11, 2026

Ensure PCG + Prusti works for paper examples

Status: Open.

#134 In prusti/pcg;

· zgrannan opened on Feb 9, 2026

Change order for borrow expiry / reference weakining

Status: Open.

#132 In prusti/pcg;

· zgrannan opened on Feb 9, 2026

Visualization shows capabilities for labelled places

Status: Open.

#131 In prusti/pcg;

· zgrannan opened on Feb 6, 2026

Enum pack/unpack wrong

Status: Open.

#77 In prusti/pcg;

· JonasAlaif opened on Sep 9, 2025