Skip to content

docs: say what findDeployBlock, isStartBlock and the deploy actually do - #33

Merged
thedavidmeister merged 4 commits into
mainfrom
2026-08-14-issue-18-docs-match-code
Aug 14, 2026
Merged

docs: say what findDeployBlock, isStartBlock and the deploy actually do#33
thedavidmeister merged 4 commits into
mainfrom
2026-08-14-issue-18-docs-match-code

docs: state the loop invariant so it holds at the initial values too

7630749
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar