search

WebAssembly / spec

WebAssembly specification, reference interpreter, and test suite.
https://webassembly.github.io/spec/
Other
3.11k stars 439 forks source link

[spec] Fix execution of control instructions, regarding current frame #1624

Closed f52985 closed 1 year ago

f52985 commented 1 year ago

This pull request will

  1. Fix some typos regarding periods.
  2. Append the step Let F be the current frame <syntax-frame>., when needed for expand_F. (block, loop-block)
  3. Remove use of F in formal notation if unnecessary. (if-block)