Merge upstream spec#207

Merged

conrad-watt merged 26 commits intoWebAssembly:upstream-rebuildfrom

ioannad:merge-upstream

Aug 29, 2023

Commits on Apr 27, 2023

[test] Add test for init expr with missing end marker (#1645)
keithw
authored

Commits on May 2, 2023

Add test for the module size limit (#1642)
gahaas
authored

Commits on May 12, 2023

Allow test for module size limit to fail (#1653)
backes
authored

Commits on May 30, 2023

Commits on Jun 6, 2023

[spec] Fix copypaste error for V128.Load*_Zero instructions in index (#1662)
rdunnington
authored

Commits on Jun 13, 2023

[interpreter] Use explicit bounds checks instead Invalid_argument (#1659)
redianthus
authored

Commits on Jun 14, 2023

[interpreter] Makefile tweak
rossberg
committed

Commits on Jun 27, 2023

Commits on Jul 3, 2023

[spec] Add missing type to elem.drop and store soundness (#1668)
bvisness
authored

Commits on Jul 11, 2023

[test] Add tests for out-of-range NaN payloads (#1670)
sunfishcode
authored

Commits on Jul 12, 2023

[spec] Fix typo (#1671)
pdubroy
authored

Commits on Jul 26, 2023

[interpreter] Use dune instead of ocamlbuild (#1665)
redianthus
authored

Commits on Aug 27, 2023

Merge remote-tracking branch 'WebAssembly/spec/main' into add-RAB-support
ioannad
committed