Search results

Wand shape for function based on sig

Status: Open.

#34 In viperproject/pcg;

· zgrannan opened on Apr 3, 2025

Design for preserving data when packing refs into structs

Status: Open.

#33 In viperproject/pcg;

· zgrannan opened on Apr 2, 2025

Run top crates with validity checks

Status: Open.

#32 In viperproject/pcg;

· zgrannan opened on Apr 1, 2025

Identify cause of slowness for serde function that timed-out (see 500-crates benchmark in OOPSLA)

Status: Open.

#31 In viperproject/pcg;

· zgrannan opened on Mar 31, 2025

Refactor implementation to combine handling of owned and borrow PCG

Status: Open.

#30 In viperproject/pcg;

· zgrannan opened on Mar 31, 2025

Change implementation of nested borrows across function callls to confirm with OOPSLA paper

Status: Open.

#29 In viperproject/pcg;

· zgrannan opened on Mar 31, 2025

Correction for loop handling (based on OOPSLA submission)

Status: Open.

#28 In viperproject/pcg;

· zgrannan opened on Mar 31, 2025