Continuations (Approach 2): prove executions epoch-by-epoch#685

Open

nicole-graus wants to merge 65 commits into

mainfrom

continuations-local-to-global

Commits on Jun 9, 2026

Commits on Jun 12, 2026

Commits on Jun 16, 2026

store memory in dense per-page arrays instead of per-cell HashMaps
nicole-graus
committed

Commits on Jun 17, 2026

Commits on Jun 18, 2026

slim range-check since memw already does it
nicole-graus
committed
make fini_epoch constant, add MU selector for padding rows, add epoch ordering constraint
nicole-graus
committed
Gate the local-to-global MU selector on the GlobalMemory bus only and constrain it boolean, leaving the epoch-local Memory bus and the range/ordering checks on unconditional multiplicity so the cro…
nicole-graus
committed

Commits on Jun 19, 2026

Revert the local-to-global MU wiring to Design X (MU gates every L2G interaction, including the epoch-local Memory-bus bookend), because the Design Y variant that gated only the GlobalMemory bus is…
nicole-graus
committed

Commits on Jun 22, 2026

Commits on Jun 23, 2026

Commits on Jun 25, 2026

Commits on Jun 26, 2026