Search results

No abstraction edge generated for call to a.get() in main

Status: Open.

#142 In prusti/pcg;

· zgrannan opened on Mar 2, 2026

Support unresolved type alias as well

Status: Open.

#141 In prusti/pcg;

· zgrannan opened on Mar 2, 2026

Function shape creation fails with ContainsAliasType, even when aliases can be resolved to concrete types

Status: Open.

#139 In prusti/pcg;

· zgrannan opened on Feb 12, 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