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

Merged

MauroToscano merged 66 commits into

mainfrom

continuations-local-to-global

Jun 29, 2026

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

Commits on Jun 29, 2026

add doc and debug_assert
nicole-graus
committed