Skip to content

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

Open
nicole-graus wants to merge 65 commits into
mainfrom
continuations-local-to-global
Open

Continuations (Approach 2): prove executions epoch-by-epoch#685
nicole-graus wants to merge 65 commits into
mainfrom
continuations-local-to-global

Reject continuations exceeding the IsB20 cross-epoch ordering range (…

2a38a69
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar