Search results

Add a research-seminar slide deck for absinterp

Status: Open.

#121 In Maokami/absinterp;

· Maokami opened on Apr 23, 2026

Make the Verso slide deck presentation-grade

Status: Open.

#117 In Maokami/absinterp;

· Maokami opened on Apr 22, 2026

Add Verso documentation site and slides scaffold

Status: Open.

#115 In Maokami/absinterp;

· Maokami opened on Apr 22, 2026

Reduce IMP collecting showcase proof brittleness around transfer unfolding

Status: Open.

#114 In Maokami/absinterp;

· Maokami opened on Apr 22, 2026

Strengthen IMP collecting showcase with a real value invariant

Status: Open.

#113 In Maokami/absinterp;

· Maokami opened on Apr 21, 2026

Upstream-ready module documentation

Status: Open.

#90 In Maokami/absinterp;

· Maokami opened on Mar 30, 2026

·  

M7: Upstream Preparation

Instantiate framework on CCS subset (stretch)

Status: Open.

#88 In Maokami/absinterp;

· Maokami opened on Mar 30, 2026

·  

M6: CSLib Language Instantiation

Instantiate framework on CSLib Boole language

Status: Open.

#87 In Maokami/absinterp;

· Maokami opened on Mar 30, 2026

·  

M6: CSLib Language Instantiation

Add Parity loop analysis showcase

Status: Open.

#85 In Maokami/absinterp;

· Maokami opened on Mar 30, 2026

·  

M5: Analysis Polish & Backward Integration