Skip to content

[Spec] Soundness: Make Limit max be unconstrained in Store and Store Extension Relations#2185

Merged
rossberg merged 1 commit into
WebAssembly:mainfrom
Wasm-DSL:soundness-max-fix
Jun 10, 2026
Merged

[Spec] Soundness: Make Limit max be unconstrained in Store and Store Extension Relations#2185
rossberg merged 1 commit into
WebAssembly:mainfrom
Wasm-DSL:soundness-max-fix

Limit max is now unconstrained in store and store extension relations

6073302
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-legacy-exceptions-core-spec
succeeded Jun 10, 2026 in 1m 43s