Skip to content

Semantic theorems, proof quality, emit events, bounded stack, word-addressed memory, stack depth enforcement#2

Open
tob-joe wants to merge 67 commits intomainfrom
semantics-comparison-tests
Open

Semantic theorems, proof quality, emit events, bounded stack, word-addressed memory, stack depth enforcement#2
tob-joe wants to merge 67 commits intomainfrom
semantics-comparison-tests

Commits

Commits on Mar 19, 2026