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

rossberg merged 1 commit into

WebAssembly:mainWebAssembly/spec:mainfrom

Wasm-DSL:soundness-max-fixWasm-DSL/spectec:soundness-max-fixCopy head branch name to clipboard