[spec] Fix minor errors and inconsistencies

WebAssembly / spec

WebAssembly specification, reference interpreter, and test suite.

https://webassembly.github.io/spec/

Other

3.13k stars 445 forks source link

[spec] Fix minor errors and inconsistencies #1564

Closed rossberg closed 1 year ago

rossberg commented 1 year ago

This fixes a bunch of minor oversights and notational inconsistencies that I discovered while writing up a rule summary. Most of them occur in the execution rules for bulk instructions.