feat: dynamic memory (&dm), Vec<T>, @alloc#72

Merged

refcell merged 13 commits into

mainfrom

brock/dyn_alloc

Mar 16, 2026

Commits on Mar 12, 2026

feat: Vec<T> dynamic memory allocation + DAG-aware IR optimizations

brockelmore
and
claude
committed
perf: bypass 32MB string round-trip in egglog extraction (6800x faster)

brockelmore
and
claude
committed

Commits on Mar 13, 2026

feat: region store forwarding + unchecked Vec arithmetic (35-49% gas reduction)

brockelmore
and
claude
committed
perf: memoize hash_cons and mem_region traversals (76,000x faster on Vec)

brockelmore
and
claude
committed
perf: memoize insert_early_drops and references_var (570x faster)

brockelmore
and
claude
committed
perf: memoize all exponential DAG traversals in IR pipeline and codegen

brockelmore
and
claude
committed
chore: fix clippy warnings and format

brockelmore
and
claude
committed
docs: update spec for &dm, @alloc, @size_of, Vec<T>, Map<K,V>, stdlib traits

brockelmore
and
claude
committed