Skip to content

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

Merged
MauroToscano merged 66 commits into
mainfrom
continuations-local-to-global
Jun 29, 2026
Merged

Continuations (Approach 2): prove executions epoch-by-epoch#685
MauroToscano merged 66 commits into
mainfrom
continuations-local-to-global

add doc and debug_assert

47fe812
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar