Skip to content

Enable calling procedures in contracts#1352

Merged
keyboardDrummer merged 146 commits into
strata-org:reviewed-kbd-will-merge-to-mainfrom
keyboardDrummer:issue-924-contract-and-proof-pass
Jun 23, 2026
Merged

Enable calling procedures in contracts#1352
keyboardDrummer merged 146 commits into
strata-org:reviewed-kbd-will-merge-to-mainfrom
keyboardDrummer:issue-924-contract-and-proof-pass

Commits

Commits on May 26, 2026

Commits on May 27, 2026

Commits on May 28, 2026

Commits on Jun 2, 2026

Commits on Jun 3, 2026

Commits on Jun 4, 2026

Commits on Jun 11, 2026

Commits on Jun 12, 2026

Commits on Jun 13, 2026

Commits on Jun 18, 2026

Commits on Jun 22, 2026