[spec] Add call_addr and throw_addr as admin instructions - #2189

Open

rossberg wants to merge 12 commits into

mainfrom

Commits on Jun 16, 2026

[spec] Make call_addr and throw_addr into admin instructions
rossberg
committed
a9e0f5e

Commits on Jun 17, 2026

Fix typing rules
rossberg
committed
fd8bce0
Fix throw_ref rule
rossberg
committed
17afb46

Commits on Jun 29, 2026

Fix throw_addr to signal unhandled exception
f52985
committed
130563f

Commits on Jul 15, 2026

Adjust spec doc
rossberg
committed
e580051
Merge branch 'main' into call_addr
rossberg
committed
b3a31da
Tweak doc
rossberg
committed
dd1c61a

Commits on Sep 2, 2026

Keep uncaught-exception throw as the final else branch in throw_addr prose
f52985
committed
4de3525
Recursively flatten else-if chains when rendering rst prose
f52985
committed
07d7bd8
Exclude context rules from AL generation
f52985
committed
4564f8c

Commits on Sep 3, 2026

Merge branch 'main' into call_addr
rossberg
committed
cb809c1
Test expects
rossberg
committed
4a30162