Repository navigation

Merge2 - #247

Closed

stevenfontanella wants to merge 5210 commits into

WebAssembly:mainfrom

stevenfontanella:merge2

Closed

Merge2#247
stevenfontanella wants to merge 5210 commits into
WebAssembly:mainfrom
stevenfontanella:merge2

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 11, 2025
- Flatten composite types; several adjustments in Properties section
  rossberg
  committed
  f1722f2
Commits on Jul 12, 2025
- [spectec] Require explicit declaration of builtins; adjust all specs
  rossberg
  committed
  6fb6ca8
- Fix typos in docs
  rossberg
  committed
  97e53b4
- [spectec] Require explicit declaration of builtins
  rossberg
  authored
  1a4e668
- Fix type index table's layout
  rossberg
  committed
  923adfe
- Require declaration of inverses
  rossberg
  committed
  4133b27
- Fix some corss references in spec
  rossberg
  committed
  0f3d5fa
- Fix hyperlinks
  rossberg
  committed
  8094396
Commits on Jul 13, 2025
- Eliminate false inverses
  rossberg
  committed
  44790f6
- Rename Builtins module to Host to avoid confusion with builtin functions
  rossberg
  committed
  fc7a735
- Merge branch 'main' into inverse
  rossberg
  committed
  90d6ded
- Implement idiv/rem/min/max in source
  rossberg
  committed
  a45eaf8
- Merge branch 'main' into inverse
  rossberg
  committed
  3302f34
Commits on Jul 14, 2025
- Remove unnecessary rebinding in validation rules
  f52985
  committed
  3749d9a
- Simplify variable names
  f52985
  committed
  bc29a5e
- Merge pull request #174 from Wasm-DSL/inverse
  rossberg
  authored
  9be8f80
- Fix rendering glitches
  f52985
  committed
  ffe86ac
- Merge redundant branches
  f52985
  committed
  9c06493
- Port text format to SpecTec, pt 1
  rossberg
  committed
  e56d644
- Some internal renamings
  rossberg
  committed
  3d378d9
- Fix handling of parameters in dimension inference
  rossberg
  committed
  7b432c6
- Add missing relaxed_laneselect instructions to binary format
  rossberg
  committed
  33648df
- Various updates and fixes to spec doc
  rossberg
  committed
  ca3d533
- Test updates
  rossberg
  committed
  905eea6
- Avoid OCaml 5 library function
  rossberg
  committed
  4f0daec
Commits on Jul 16, 2025
- Adjust use of END
  rossberg
  committed
  7bf6816
- [spec] Update the instruction index for memory64 (#1948)
  4y8
  authored
  b25640b
Commits on Jul 17, 2025
- Remove sidecondition for same-length
  f52985
  committed
  d46e0b1
- Refactor postprocessing of prose
  f52985
  committed
  8b8b391
- Finetuning for handling ForallS
  f52985
  committed
  d3d6b18
Commits on Jul 18, 2025
- Refactor prose hint
  f52985
  committed
  1eeae63
- Refactor rendering of ExtE
  f52985
  committed
  43b1edd
- Port text format to SpecTec, pt 1
  rossberg
  committed
  37bed7d
- Text format values & types
  rossberg
  committed
  3d81df7
- Instructions & modules
  rossberg
  committed
  bd0eecf
- Fix merge
  rossberg
  committed
  162fee4
- Lexical syntax
  rossberg
  committed
  ddec578
- Make shorthand grammars work; improve test deps
  rossberg
  committed
  410d525
- More hacks to treat singleton strings as characters
  rossberg
  committed
  6802be0
- Remove dead binding from validation prose
  f52985
  committed
  95e0b78
Commits on Jul 21, 2025
- Reorder stmts
  f52985
  committed
  4ce042a
- Rename type names
  f52985
  committed
  2d4d620
Commits on Jul 22, 2025
- Implement grammar range short-hand
  rossberg
  committed
  3ed2014
- Apply prose hint for state mutating functions
  f52985
  committed
  d812371
- Add more prose hints
  f52985
  committed
  c0c52cb
- Do not use Ocaml 5.1 function
  f52985
  committed
  7d6318f
- Make testpromote
  f52985
  committed
  41ca9cb
- Remove redundant binding for IterE
  f52985
  committed
  a376c2e
- Wasm 2.0 spec fixes - adjusting partial hints where needed, and fixing up non-exhaustive pattern matching. Some duplication of function clauses.
  DCupello1
  committed
  391e73a
- change inv_jsize to not use inv_isize, and made opt_ partial
  DCupello1
  committed
  f3fd475
- Wasm 2.0 spec fixes - non-exhaustive pattern matching
  rossberg
  authored
  404b4bc
Commits on Jul 23, 2025
- Remove manual prose for module instantiation
  rossberg
  committed
  b42dae9
Commits on Jul 24, 2025
- [test] Move exception tests to their own dirs and activate bulk64 test (#1951)
  rossberg
  authored
  454c446
Commits on Jul 25, 2025
- [interpreter] Add wast locations to JS-converted test cases (#1919)
  dschuff
  authored
  c840c58
- Order instructions consistently
  rossberg
  committed
  825da83
- [spec] Fix field renaming inconsistency (#1952)
  ArcadiaLeak
  authored
  7ddfe8f
- Fix test expect
  rossberg
  committed
  d686d88
Commits on Jul 29, 2025
- Implement abbrev grammar syntax; module-level abbreviations
  rossberg
  committed
  cfc0fc0
- Modules text format
  rossberg
  committed
  056030c
- Test expect
  rossberg
  committed
  4048666
Commits on Jul 30, 2025
- [test] Test implicit type use vs rec type
  rossberg
  committed
  d1f8edb
- --amend
  rossberg
  committed
  0686eb6
- Minor tweaks
  rossberg
  committed
  9a07512
- Remaining text todos
  rossberg
  committed
  46cfb88
Commits on Jul 31, 2025
- Unroll loop in allocmodule
  f52985
  committed
  45a9e66
- Add new auxiliary function: is_packtype
  f52985
  committed
  a960d62
Commits on Aug 4, 2025
- Remove type for rendering RelS
  f52985
  committed
  786191a
Commits on Aug 5, 2025
- Merge option iters and IsDefinedE
  f52985
  committed
  99587f6
- SpecTec text format: lexical, values
  rossberg
  committed
  53e89d1
- Port Text conventions to SpecTec
  rossberg
  committed
  5297b1a
- Port text format for types ot SpecTec
  rossberg
  committed
  d8c2a19
Commits on Aug 6, 2025
- Expand iters into loop
  f52985
  committed
  aca2689
- Simplify record access
  f52985
  committed
  7d78a8a
Commits on Aug 7, 2025
- Refactor
  f52985
  committed
  51f3b33
- Typeset context variables
  f52985
  committed
  a30df87
- Refactor GetCurContextE
  f52985
  committed
  6b2a1aa
Commits on Aug 8, 2025
- Refactor introducing frame variable
  f52985
  committed
  7cac282
- Refactor prose render
  f52985
  committed
  6bb156b
- Remove dead pop && push of frame
  f52985
  committed
  dfe6828
Commits on Aug 11, 2025
- Remove unnecessary variable binding during popping a context
  f52985
  committed
  96b726f
- Rename duplicated frame variables
  f52985
  committed
  4ecd723
Commits on Aug 19, 2025
- Make error message more explicit for inconsistent use of reduction rules
  f52985
  committed
  4217d9a
Commits on Aug 28, 2025
- [simd] Add additional test input for i32x4.dot_i16x8_s (#1955)
  titzer
  authored
  fffc6e1
Commits on Aug 29, 2025
- Remove obsolete OptV from CALL_REF / RETURN_CALL_REF
  f52985
  committed
  71e467f
Commits on Sep 2, 2025
- Err on duplicate secondary names
  rossberg
  committed
  91aeeae
- Fix build
  rossberg
  committed
  6797f63
Commits on Sep 3, 2025
- Prevent assertion failure in Dim
  rossberg
  committed
  adfb376
Commits on Sep 8, 2025
- Bar BOT-typed locals in 2.0
  rossberg
  committed
  698f9ac
- Fix bug in IL reduction
  rossberg
  committed
  11f7c49
Commits on Sep 9, 2025
- Fix typo in
  rossberg
  committed
  177ae45
Commits on Sep 10, 2025
- A few layout tweaks
  rossberg
  committed
  2dc4129
- Upgrade to MathJax 4 and use \allowbreak
  rossberg
  committed
  9f15cf8
- Test expect
  rossberg
  committed
  a3c0101
- Separate tests for memory-related proposals into directories/files (#1964)
  dschuff
  authored
  87a61ac
Commits on Sep 11, 2025
- [js-api] Use "matches" for exnref checks for clarity (#1912)
  bvisness
  authored
  50774b5
- Merge js-string-builtins into wasm-3.0 (#1943)
  
  authored
  a8f94ea
- [js-api] Update for resizable buffer integration (#1961)
  eqrion
  authored
  89e549c
- [js-api] Editorial: fix cross-references (#1962)
  Ms2ger
  authored
  3ce97ad
Commits on Sep 15, 2025
- Fix Web API document title
  
  dschuff
  authored and
  Ms2ger
  committed
  05e2fc9
Commits on Sep 16, 2025
- Merge branch 'main' into wasm-3.0
  rossberg
  committed
  9aa45e8
- Merge branch 'upstream'
  rossberg
  committed
  201e8f8
- Test expects
  rossberg
  committed
  cee9794
Commits on Sep 17, 2025
- Remove Draft
  rossberg
  committed
  ee46173
- Revert limits max to option
  rossberg
  committed
  9fdd94b
- Merge branch 'upstream-spectec' into wasm-3.0+spectec
  rossberg
  committed
  5f8435f
- Fix doc
  rossberg
  committed
  80b7da4
- Merge branch 'upstream-spectec' into wasm-3.0+spectec
  rossberg
  committed
  c458250
- Fix escape
  rossberg
  committed
  7a510ff
- Merge branch 'upstream-spectec' into wasm-3.0+spectec
  rossberg
  committed
  e466201
- [ci] Reactivate Bikeshed
  rossberg
  committed
  19ed4ee
Commits on Sep 18, 2025
- [website] Fix typo (#1970)
  tomayac
  authored
  b2ce46d
- [bikeshed] Build Katex outside _spectec dir
  rossberg
  committed
  0ee5964
- Try something else
  rossberg
  committed
  749f6a2
- Another attempt
  rossberg
  committed
  085345c
- Another attempt
  rossberg
  committed
  7e36d0d
- Typo in command
  rossberg
  committed
  e21d75c
Commits on Sep 19, 2025
- [spec] Turn off semantic enrichment for now
  rossberg
  committed
  fe34811
- [katex] ignore multicolumn
  rossberg
  committed
  075af24
- Fix substitution
  rossberg
  committed
  8dcaae1
- [bikeshed] Getting desparate
  rossberg
  committed
  f4f60ca
- Attempt at debugging
  rossberg
  committed
  e7fdd00
- Fix regexp
  rossberg
  committed
  9ea2c07
- Fix regexp?
  rossberg
  committed
  c449377
- Readjust README (#1973)
  Ms2ger
  authored
  08e1036
- Experiment with hack
  rossberg
  committed
  b905df8
- [web-api] add missing default arguments (#1969)
  autokagami
  authored
  705a702
- Update testharness.js from upstream.
  Ms2ger
  committed
  d7aada5
- Separate out remaining memory 64 tests into proposal directory (#1978)
  CharlieTap
  authored
  3f70cb9
- [spectec] Fix rendering of flattened sequences
  rossberg
  committed
  e9030b0
- [spectec] Revert dots to infix
  rossberg
  committed
  078e0ee
- Temporarily turn off Bikeshed again to enable updates
  rossberg
  committed
  11eb34c
- [bikeshed] Fix Python syntax bug in bikeshed_fixup script
  rossberg
  committed
  80f32d6
Commits on Sep 20, 2025
- Tweak Makefile
  rossberg
  committed
  32e4ebf
- Debug output for multicolumn
  rossberg
  committed
  824c7ef
- Tweak re pattern
  rossberg
  committed
  9043080
- [ci] Remove unnecessary dependency
  rossberg
  committed
  e01ace5
- [ci] Reactivate CRD push
  rossberg
  committed
  fb97b8c
Commits on Sep 23, 2025
- [spec] Fix typo
  rossberg
  committed
  de48f5a
- [ci] Fix W3C publish build
  rossberg
  committed
  fcb305c
- Fix number twist
  rossberg
  committed
  74e9939
- [ci] Work around failures
  rossberg
  committed
  2b615cc
- [ci] Setup environment correctly
  rossberg
  committed
  eb11246
- [ci] opam options
  rossberg
  committed
  7b51e07
Commits on Sep 24, 2025
- [spectec] Fix prose rendering of NotOp ContextKindE (#1974)
  Alan-Liang
  authored
  741d6b4
Commits on Sep 25, 2025
- [spec] Fix naming typo
  rossberg
  committed
  3233abc
Commits on Sep 26, 2025
- [website] Update last 3.0 draft
  rossberg
  committed
  67ffb5d
- [website] Update last version of 2.0 doc
  rossberg
  committed
  9d36019
- Update testharness.js from upstream. (#1976)
  Ms2ger
  authored
  99cde9f
Commits on Sep 29, 2025
- [interpreter] Fix JS conversion in assertions (#1989)
  dschuff
  authored
  c92c9ae
- [ci] Attempt to reactivate Node test run
  rossberg
  committed
  a756f17
- Revert "[ci] Attempt to reactivate Node test run"
  rossberg
  committed
  e1ce468
- [ci] Attempt to reactivate Node with v24
  rossberg
  committed
  6578dac
- [ci] Attempt to reactivate Node with v25-nightly
  rossberg
  committed
  10aef0c
- [interpreter] Correctly filter noexn as non-JS type
  rossberg
  committed
  fdd09f9
- [ci] Try to use SpiderMonkey JS shell for tests
  rossberg
  committed
  caa9363
- [ci] Fix path to JS shell
  rossberg
  committed
  2f844b0
Commits on Sep 30, 2025
- [ci] Disable JS tests again
  rossberg
  committed
  485bbd9
Commits on Oct 1, 2025
- Port text format for instructions
  rossberg
  committed
  74d752f
- [spec] Fix typos (#1994)
  alessiofaieta
  authored
  758b7cf
- [spec] Make implicit mapping of all_true op work
  rossberg
  committed
  72b8361
- [spec] Clean up
  rossberg
  committed
  9afe68b
- [spec] Fix memarg (#1988)
  rossberg
  authored
  26b39e1
Commits on Oct 2, 2025
- Text format for modules
  rossberg
  committed
  cc8a6a3
- Merge branch 'upstream'
  rossberg
  committed
  e920cee
- Fix tt again
  rossberg
  committed
  5cf8e64
- Fix xrefs
  rossberg
  committed
  f196249
- Merge branch 'upstream-spectec'
  rossberg
  committed
  c578a1c
- [bikeshed] Replace texttt with tt
  rossberg
  committed
  b5aadb9
- [bikeshed] More trying
  rossberg
  committed
  550d52a
- [bikeshed] More trying 2
  rossberg
  committed
  9862418
- [bikeshed] More trying 3
  rossberg
  committed
  2296482
- [spectec] Fix test expects
  rossberg
  committed
  7071edc
Commits on Oct 3, 2025
- [spec] Remove obsolete invoke admin instruction
  rossberg
  committed
  73f69fa
- [spec] Add missing formal Valtype_ok/bot rule
  rossberg
  committed
  2246e8b
- [test] Add more array.fill cases (#1998)
  XeniaLu
  authored
  8e4f613
- [spec] Unbreak all_true again
  rossberg
  committed
  db886b8
- [test] Adjust spectec expectations after new tests
  rossberg
  committed
  254730a
Commits on Oct 6, 2025
- Override W3C_STATUS Makefile var when building specs for Echidna (#2000)
  dschuff
  authored
  cb97007
Commits on Oct 8, 2025
- [spec] Fix various typos (#2004)
  alessiofaieta
  authored
  b5fee57
- [spec] Fix Katex hacks
  rossberg
  committed
  bdddcf2
- [spec] Fix Katex hacks 2
  rossberg
  committed
  0f1bc28
- [spec] Fix typos (#2006)
  alessiofaieta
  authored
  228614a
- [spec] Fix Katex hacks 3
  rossberg
  committed
  c6b743b
- [spectec] Adjust test expects
  rossberg
  committed
  5aebe3f
- [spectec] Support record extension analogous to variant extension
  rossberg
  committed
  321f2d5
- Make Echidna status checking tolerate transient failure (#1856)
  dschuff
  authored
  e3c074c
- Override ECHIDNA_DRYRUN make variable on command line (#2001)
  dschuff
  authored
  338cf40
Commits on Oct 9, 2025
- [proposals] Fix typo (#2007)
  id-ilych
  authored
  4f4c67a
- [interpreter] JS Conversion: add of_loc_unquoted and use it in comments (#1997)
  dschuff
  authored
  e2de519
- Add assert_exception to the core test harnesses (#1991)
  Ms2ger
  authored
  3ff86e1
- [interpreter] Formatting nit
  rossberg
  committed
  fac3545
Commits on Oct 14, 2025
- [interpreter] Catch failing string conversion in JS harness (#2011)
  
  rossberg
  and
  Ms2ger
  authored
  a499738
Commits on Oct 15, 2025
- [spectec] Remove interpreter test message (#2015)
  f52985
  authored
  c373382
- [spec] Add reserved entry to instruction index (#2014)
  GavinAnderberg
  authored
  5e4fdb4
Commits on Oct 16, 2025
- [spec] Add missing def of unpack function
  rossberg
  committed
  f915557
- [js-api][web-api] Use the 'react' algorithm from WebIDL (#1835)
  Ms2ger
  authored
  939d97e
Commits on Oct 27, 2025
- [spec] Fix binary code of `noexn` in appendix (#2022)
  q82419
  authored
  acb9202
Commits on Oct 28, 2025
- [test] Unify error messages in gc/type-subtyping (#2019)
  q82419
  authored
  f92667e
Commits on Oct 29, 2025
- [test] Unify error messages in gc and exception tests (#2023)
  q82419
  authored
  67b6fe2
Commits on Oct 30, 2025
- [spectec] Install opam dependencies automatically
  rossberg
  committed
  a0a8686
- [spectec] Fix printing of some vector conversion ops
  rossberg
  committed
  6b552dc
- [spectec] Fix test expects
  rossberg
  committed
  1ecaf5c
Commits on Oct 31, 2025
- [test] Correct catch clause in type mismatch test (#2024)
  g-plane
  authored
  4dfe036
Commits on Nov 1, 2025
- [spec] Fix missing limits subtyping rule
  rossberg
  committed
  df76f27
- [spectec] Fix test expect
  rossberg
  committed
  3ee667d
Commits on Nov 2, 2025
- [spec] A couple of fixes to binary grammar
  rossberg
  committed
  bbd632e
- [spec] Group reference instructions more consistently
  rossberg
  committed
  a5f4a85
Commits on Nov 14, 2025
- [spec] Add missing syntax for idx
  rossberg
  authored
  4e314da
Commits on Nov 18, 2025
- [spec] Fix off-by-one in reserved type index (#2029)
  rossberg
  authored
  6d81d8c
Commits on Nov 19, 2025
- [spec] Fix typo in rule
  rossberg
  authored
  6f3007c
Commits on Nov 20, 2025
- Split memory64 JS API tests into separate files (#2026)
  dschuff
  authored
  2929f44
Commits on Nov 21, 2025
- [spectec] Implement IterPr in IL evaluator (#2031)
  rossberg
  authored
  64478fc
Commits on Nov 22, 2025
- [spec] Fix macro (#2033)
  rossberg
  authored
  7f7fc33
Commits on Dec 2, 2025
- [interpreter] Abstract script runner over engine (#2030)
  rossberg
  authored
  fbf1df4
- [spectec] Fix runner interface to not break SpecTec
  rossberg
  committed
  1d499f4
- [spec] Define state access shorthands
  rossberg
  committed
  d825fa0
- [spec] Add definitions for state access shorthands
  rossberg
  committed
  acaebb2
- [spec] Introduce meta variable z for state
  rossberg
  committed
  4d81d3b
Commits on Dec 3, 2025
- [spec] Fix typo (#2037)
  alessiofaieta
  authored
  8bfbeb0
- [spectec] Fix typos in Overview.md (#2038)
  alessiofaieta
  authored
  58a2f9d
- [spec] Fix another misspelled macro
  rossberg
  committed
  2952ac5
Commits on Dec 8, 2025
- [spec] Fix typo in definition of BsN
  rossberg
  committed
  6e4c4bc
Commits on Dec 12, 2025
- [test] Add test for catching same tag with multiple handlers (#2043)
  g-plane
  authored
  7b2ad0f
Commits on Dec 13, 2025
- [test] Add test for `catch_all` before `catch` (#2044)
  g-plane
  authored
  9479f1d
Commits on Jan 5, 2026
- [wasm][js-api] Add test case for externref global (#1983)
  Liedtke
  authored
  b238495
Commits on Jan 12, 2026
- [test] Unify error messages in memory64/bulk64 (#2045)
  q82419
  authored
  1d3e26f
Commits on Jan 16, 2026
- [spec] Fix binary format of const literals
  rossberg
  committed
  f2d26ea
Commits on Jan 19, 2026
- [js-api] Test validation of string builtin types
  
  tlively
  authored and
  Ms2ger
  committed
  a9a0a31
Commits on Jan 21, 2026
- [js-api] Fix result types in string builtins
  
  tlively
  authored and
  Ms2ger
  committed
  777e9c4
Commits on Jan 27, 2026
- [spec] Fix limit validation for memory and table types (#2059)
  rossberg
  authored
  c066c64
Commits on Jan 28, 2026
- [spec] Fix definition of is_packtype (#2061)
  rossberg
  authored
  f91f362
Commits on Jan 29, 2026
- [spec] Fix two typos around `ref.as_non_null` (#2062)
  ksakawi
  authored
  a4b2e49
Commits on Feb 2, 2026
- [spectec] Fix arithmetic binop typing
  rossberg
  committed
  6804c5d
- [spectec] Allow any order in variant parent types
  rossberg
  committed
  ba77273
- [spec] Bring back explicit `reftype` in Element section (#2067)
  agis
  authored
  a119b24
- Create specification/wasm-latest (#2064)
  tlively
  authored
  76c81e0
- Revert "Create specification/wasm-latest (#2064)"
  tlively
  committed
  f1590fd
- temporarily move wasm-3.0 to preserve history
  tlively
  committed
  5b6b30d
- move wasm-3.0 to wasm-latest
  tlively
  committed
  8bfee34
- Merge moves of wasm-3.0
  tlively
  committed
  a2febb8
- restore wasm-3.0 from temporary directory
  tlively
  committed
  c61fd29
Commits on Feb 3, 2026
- Ensure wasm-latest is correct in CI (#2068)
  tlively
  authored
  d882125
- Fix 6.4-text.modules.spectec filename (#2069)
  tlively
  authored
  4d130b3
- Use wasm-latest instead of wasm-3.0 in tests and docs (#2070)
  tlively
  authored
  a20e214
- [spec] Trivial variable renaming
  rossberg
  committed
  099532b
- [spec] Add missing contextual rules for handlers (#2063)
  zilinc
  authored
  1c9a04e
Commits on Feb 6, 2026
Commits on Feb 12, 2026
- Merge remote-tracking branch 'spec/main' into merge2
  stevenfontanella
  committed
  4ccad2f

Commits

Commits on Jul 11, 2025

Commits on Jul 12, 2025

Commits on Jul 13, 2025

Commits on Jul 14, 2025

Commits on Jul 16, 2025

Commits on Jul 17, 2025

Commits on Jul 18, 2025

Commits on Jul 21, 2025

Commits on Jul 22, 2025

Commits on Jul 23, 2025

Commits on Jul 24, 2025

Commits on Jul 25, 2025

Commits on Jul 29, 2025

Commits on Jul 30, 2025

Commits on Jul 31, 2025

Commits on Aug 4, 2025

Commits on Aug 5, 2025

Commits on Aug 6, 2025

Commits on Aug 7, 2025

Commits on Aug 8, 2025

Commits on Aug 11, 2025

Commits on Aug 19, 2025

Commits on Aug 28, 2025

Commits on Aug 29, 2025

Commits on Sep 2, 2025

Commits on Sep 3, 2025

Commits on Sep 8, 2025

Commits on Sep 9, 2025

Commits on Sep 10, 2025

Commits on Sep 11, 2025

Commits on Sep 15, 2025

Commits on Sep 16, 2025

Commits on Sep 17, 2025

Commits on Sep 18, 2025