Repository navigation

feat: plan 08 part B known-case folding, representation cancellation and default O1 - #39

Merged

MicroProofs merged 20 commits into

mainfrom

plan-8

Oct 7, 2026

Merged

feat: plan 08 part B known-case folding, representation cancellation and default O1#39
MicroProofs merged 20 commits into
mainfrom
plan-8

Commits on Oct 6, 2026
- perf(ir): trial bound constructor case folding
  MicroProofs
  committed
  6bfb37d
- perf(ir): adopt bound constructor folding
  MicroProofs
  committed
  d9c949c
- perf(ir): trial native list case folding
  MicroProofs
  committed
  411d5fe
- perf(ir): adopt native list case folding
  MicroProofs
  committed
  8e09b66
- perf(ir): trial literal Data case folding
  MicroProofs
  committed
  9a5499f
- refactor(test): consolidate optimizer coverage
  MicroProofs
  committed
  c3773e3
- perf(ir): adopt literal Data case folding
  MicroProofs
  committed
  e0434ba
- perf(ir): trial Data wrapper case folding
  MicroProofs
  committed
  d3d917b
- perf(ir): adopt Data wrapper case folding
  MicroProofs
  committed
  44ac57f
- perf(ir): trial collection Data case folding
  MicroProofs
  committed
  1767c54
- perf(ir): adopt collection Data case folding
  MicroProofs
  committed
  be58371
- perf(ir): trial ConstrData case folding
  MicroProofs
  committed
  656e197
- perf(ir): adopt ConstrData case folding
  MicroProofs
  committed
  a46da51
- perf(ir): fold fields of known native constructors
  MicroProofs
  committed
  31f8119
- perf(ir): fold known integer and byte cases
  MicroProofs
  committed
  365ec7e
- perf(ir): trial direct integer representation cancellation
  MicroProofs
  committed
  d362d7f
- feat(codegen): default builds and tests to trace-preserving O1
  MicroProofs
  committed
  1ef1f88
- fix(codegen): use heap work lists throughout assembly
  MicroProofs
  committed
  07c328f
- fix(ir): print Core with heap work lists
  MicroProofs
  committed
  a192b18
- perf(ir): cancel proven representation round trips
  MicroProofs
  committed
  a14c3c6

Commits

Commits on Oct 6, 2026