Repository navigation

Merge upstream - #113

Merged

tlively merged 241 commits into

mainfrom

merge-upstream-2026-10-02

Oct 2, 2026

Commits on Oct 30, 2025
- Make sure all variables occuring in type annotations are quantified
  rossberg
  committed
  513d140
Commits on Nov 2, 2025
- Merge branch 'main' into deptup
  rossberg
  committed
  239296a
Commits on Nov 4, 2025
- Add args to CaseE, UncaseE, DotE, DotP, expfield; unify params and binds
  rossberg
  committed
  9823ef2
Commits on Nov 18, 2025
- WIP
  rossberg
  committed
  eee7845
Commits on Dec 2, 2025
- WIP2 (now compiles again)
  rossberg
  committed
  dcc03d9
Commits on Dec 3, 2025
- Make Wasm 1.0 elaborate again
  rossberg
  committed
  953a152
- Treat tuple type vars
  rossberg
  committed
  87778a2
- Do dimension analysis on IL
  rossberg
  committed
  9e50b24
Commits on Jan 13, 2026
- WIP3
  rossberg
  committed
  bc1f143
Commits on Jan 18, 2026
- WIP4 (Wasm 1.0 validates again)
  rossberg
  committed
  0fce79c
- WIP4 (Wasm 2.0 validates again)
  rossberg
  committed
  c3aee6c
Commits on Jan 19, 2026
- Configurable annotation printing
  rossberg
  committed
  cc8eabd
- WIP6 (Wasm 3.0 validates again ignoring quant equality)
  rossberg
  committed
  354f700
- WIP7 (all frontend tests pass)
  rossberg
  committed
  6a11bce
- Deactivate quantifier args
  rossberg
  committed
  0a5dd16
- Remove quantifier args
  rossberg
  committed
  c41eb8b
- Reorder field/case quantifiers
  rossberg
  committed
  4c29c3b
Commits on Jan 20, 2026
- Merge branch 'main' into deptup
  rossberg
  committed
  b1dbb4d
- Cleanup
  rossberg
  committed
  4de78cb
- Remove obsolete modules
  rossberg
  committed
  aedc92d
Commits on Jan 22, 2026
Commits on Jan 26, 2026
- More fixes
  rossberg
  committed
  0e59490
- Allow parameterised relations in IL
  rossberg
  committed
  eef2766
Commits on Jan 27, 2026
- Surface relation parameters in EL
  rossberg
  committed
  8df3f96
Commits on Feb 3, 2026
- Enable exit on err for al interpreter
  f52985
  committed
  e6a967f
- [spec] Trivial variable renaming
  rossberg
  committed
  099532b
- [spec] Add missing contextual rules for handlers (#2063)
  zilinc
  authored
  1c9a04e
Commits on Feb 5, 2026
- [spectec] Allow quoting more operators as atoms
  rossberg
  committed
  1ecdbf3
- [spectec] Allow more recursion
  rossberg
  committed
  36ce9b8
Commits on Feb 6, 2026
Commits on Feb 9, 2026
- [spectec] Validate IL atoms; some fixes
  rossberg
  committed
  c9c51e4
Commits on Feb 10, 2026
- [spectec] Handle assertion with InfixT
  f52985
  committed
  e1eedae
- [spec] Tweak some layout
  rossberg
  committed
  1376ba0
- [spec] Fix state for expression evaluation
  rossberg
  committed
  f38a520
- Revert "[spec] Fix state for expression evaluation"
  rossberg
  committed
  eac9517
- Initial semantics sketch
  rossberg
  committed
  726f4f7
- Fix normalisation of SUB
  rossberg
  committed
  72ed239
- [spec] Fix print hint for $tagaddr (#2077)
  rossberg
  authored
  b32104a
- Add missing SUB reductions
  rossberg
  committed
  6b96f87
Commits on Feb 12, 2026
- [spectec] Remove obsolete translation for optional singleton constructor
  f52985
  committed
  55d3203
- [spectec] Remove unnecessary push and pop of frame
  f52985
  committed
  ff43526
- Merge branch 'main' into deptup
  rossberg
  committed
  c355302
- [ci] Adjust job
  rossberg
  committed
  0910161
- Merge branch 'main' into deptup
  rossberg
  committed
  b6629b0
- Tweak workflows
  rossberg
  committed
  34f1c29
- Tweak workflows some more
  rossberg
  committed
  0e799ae
- Allow parameterised relations in IL
  rossberg
  committed
  4f8c003
- Surface relation parameters in EL
  rossberg
  committed
  ea05fab
- [ci] Bump OCaml version
  rossberg
  committed
  6569c90
Commits on Feb 13, 2026
- Merge branch 'main' into semantics
  rossberg
  committed
  503036f
- Make spec compile again
  rossberg
  committed
  08c15a0
- [spectec] Add README
  rossberg
  committed
  fa84017
- [test] Check that backwards branches trim the stack (#2082)
  Sainan
  authored
  9cac9a6
- [spectec] Support hints on rules
  rossberg
  committed
  62f535c
Commits on Feb 16, 2026
- [spec] Fix another bug around is_packtype
  rossberg
  committed
  3e84478
- [spec] Reactivate trailing syntax dots
  rossberg
  committed
  f4888a1
- [spec] Port to latest
  rossberg
  committed
  2a87417
- [spectec] Use record extension
  rossberg
  committed
  8f830af
- [test] Improve incorrect comments (#2085)
  marxin
  authored
  ae2d32d
Commits on Feb 18, 2026
- [test] Fix comment in binary-leb128.wast (#2088)
  Sainan
  authored
  dd1600d
Commits on Feb 21, 2026
- [spectec] Fix nits in IL semantics (#2090)
  sukyoung
  authored
  035fbe0
Commits on Feb 24, 2026
- [spectec] Add missing EQ/NE reduction rules to IL semantics
  rossberg
  committed
  20aba52
- [spec] Fix state for expression evaluation (#2078)
  rossberg
  authored
  6a6876a
Commits on Feb 25, 2026
- [spectec] Fix rule SUB-STR in IL semantics
  rossberg
  committed
  8a73ca5
Commits on Feb 26, 2026
- [bikeshed] Attempt at fixing the Katex fixup
  rossberg
  committed
  fb72c97
- [spec] Fix wrong parameter in definition of vextbinop operator
  rossberg
  committed
  63201ed
- [spectec] Fix resolution of argument syntax sugar in the case of forward uses
  rossberg
  committed
  52a209d
- [ci] Update and narrow triggers
  rossberg
  committed
  9c4b2cb
- [spec] Add a sync script for wasm-latest
  rossberg
  committed
  fc696cd
- [spec] Fix use of elemexpr in text format (#2095)
  bvisness
  authored
  d2cb595
Commits on Feb 27, 2026
- [ci] Update test expects
  rossberg
  committed
  f2fce28
Commits on Mar 1, 2026
- [spectec] Fix typos in IL semantics (#2091)
  sukyoung
  authored
  c5a8cab
- [test] Improve array.init_elem tests (#2097)
  tlively
  authored
  b228d7c
- [test] Check that try_table acts like a block (#2098)
  Sainan
  authored
  13734f8
Commits on Mar 3, 2026
- [interpreter] make target for installing dependencies
  rossberg
  committed
  0a278c7
- ci] Use Makefile for dependencies
  rossberg
  committed
  6460cf1
- [ci] Fix
  rossberg
  committed
  c07e5c9
Commits on Mar 9, 2026
- [spec] Fixing memarg binary format (#2101)
  raoxiaojia
  authored
  8238c78
- [spectec] Add missing free variable computations for exception syntax
  rossberg
  committed
  5dfff49
- [spectec] Tweak various aspects of syntax elaboration
  rossberg
  committed
  e5d4e9d
- [spectec] Sync latest
  rossberg
  committed
  ff645dd
Commits on Mar 10, 2026
Commits on Mar 11, 2026
- [spectec] Add syntax for forall/exists atoms
  rossberg
  committed
  fdb3bd0
- [spectec] Support subscripting prec/succ
  rossberg
  committed
  f4d24bc
Commits on Mar 12, 2026
- [spectec] Simplify IL semantics type syntax
  rossberg
  committed
  74b327f
- [spectec] Fix EQ/NE reduction in IL semantics
  rossberg
  committed
  44801dd
Commits on Mar 16, 2026
- [spectec] More functionality for the debugger (#2096)
  
  rossberg
  and
  ShinWonho
  authored
  12b9dbc
- [spec] Fix misplaced anchor (#2114)
  Taywee
  authored
  7575515
- [spec] Several scattered spec fixes (#2112)
  raoxiaojia
  authored
  da9ea89
- [spec] Fix subtyping rules for bottom heaptypes (#2116)
  rossberg
  authored
  d2906df
Commits on Mar 18, 2026
- [spectec] Do not allow premise weakening in record/variant subtyping
  rossberg
  committed
  6c2c638
Commits on Mar 19, 2026
- [test][js-api] WebAssembly.Global.<prototype>set should not throw without argument
  
  Liedtke
  authored and
  Ms2ger
  committed
  6a1257e
Commits on Mar 23, 2026
- [test] Refine some error messages (#2119)
  q82419
  authored
  2907f45
- [spectec] Define IL semantics for pattern matching (#2106)
  rossberg
  authored
  8a4f0d0
- [spec] Narrow definition of null ref values (#2093)
  rossberg
  authored
  228e910
Commits on Mar 24, 2026
Commits on Mar 25, 2026
- [spectec] Avoid variable capture in IL semantics
  rossberg
  committed
  ba0b447
- [spectec] Fix refresh_exppulls in IL semantics
  rossberg
  committed
  7e22396
- [spectec] Refactor refresh in IL semantics
  rossberg
  committed
  d8fc833
- [spectec] Add missing side condition on
  rossberg
  committed
  cc90d82
- [test][js-api] WebAssembly.Exception.length should be 2 (#2123)
  Liedtke
  authored
  dd0d7a9
Commits on Mar 26, 2026
- [js-api] Add Ryan as an editor of js-api and web-api
  
  eqrion
  authored and
  Ms2ger
  committed
  072bd0d
Commits on Mar 30, 2026
- [interpreter] Remove unused NullPat
  rossberg
  committed
  40490e3
- [interpreter] Revive heaptype on ref.null script literals (#2129)
  rossberg
  authored
  1b79b88
Commits on Mar 31, 2026
- [spectec] Restrict reduction of equality to values
  rossberg
  committed
  8cb8dc9
- [js-api] Editorial improvements (#2126)
  eqrion
  authored
  80d3d19
Commits on Apr 2, 2026
Commits on Apr 3, 2026
- [spec] Fix typo in grammar notation (#2133)
  masak
  authored
  55741de
Commits on Apr 7, 2026
- [interpreter] A few tweaks to README
  rossberg
  authored
  d462f0a
- [spec] Fix typo in module abbreviation text format (#2137)
  alessiofaieta
  authored
  1b70e0e
- [spectec] Avoid spurious diffs from NanoWasm pdf
  rossberg
  committed
  e86d1d2
Commits on Apr 8, 2026
- [spectec] Fix `$fnat` show hint (#2138)
  alessiofaieta
  authored
  9fb3a59
- [test] Segments are evaluated only once in `array.{new,init}_elem` (#2136)
  fitzgen
  authored
  a21b0df
Commits on Apr 9, 2026
- [spec] Fix typo (#2139)
  alessiofaieta
  authored
  91f9d08
Commits on Apr 16, 2026
- [spectec] Minor tweak to syntax in IL semantics
  rossberg
  committed
  f9c743a
Commits on Apr 20, 2026
- [spec] Fix typo (#2143)
  zilinc
  authored
  cbef362
- [spec] Fix cross-references to constant expressions (#2145)
  bvisness
  authored
  d949ce5
Commits on Apr 22, 2026
- [spec] Define soundness rules in SpecTec (#2125)
  rossberg
  authored
  44b03c2
- [spec] Refine abstract syntax of modules to use list
  rossberg
  committed
  55cd299
- [spec] Slight simplification to Rectype_ok2 judgement (#2148)
  rossberg
  authored
  b06b61d
- [ci] Fix test expects
  rossberg
  committed
  db413c6
Commits on Apr 23, 2026
- [spec] Remove obsolete heading (#2152)
  alessiofaieta
  authored
  d656c59
- [spec] Fix crossref for `type` (#2153)
  alessiofaieta
  authored
  0832c84
Commits on Apr 24, 2026
- [spec/spectec] Fix prose title of if instruction (#2154)
  f52985
  authored
  65211ab
- [spec] Fix rendering of Expand
  rossberg
  committed
  d7b6783
Commits on Apr 27, 2026
- [spectec] Automate extraction of validation rules for prose generation (#2147)
  f52985
  authored
  18e6ed1
- [spectec] Split def of context's RECS field; make struct extension work correctly
  rossberg
  committed
  3d487bf
- [spec] Tweaks
  rossberg
  committed
  92d7e86
- [spec] Port Soundness Appendix to SpecTec, pt. 1 (rules for types)
  rossberg
  committed
  f500d7f
- [spectec] Sync diff
  rossberg
  committed
  965039e
Commits on Apr 28, 2026
- [spectec] Add documentation about subscripted infix operators and their shorthands
  rossberg
  committed
  b1ae9c5
- [ci] Test exepcts
  rossberg
  committed
  7d618b1
- [spectec] Formalise binding semantics for let premises (#2109)
  rossberg
  authored
  7ee14a6
Commits on Apr 29, 2026
- [spectec] Model failure in IL semantics
  rossberg
  committed
  3db6d66
Commits on Apr 30, 2026
- [spec] Use `fieldidx` instead of `u32` (#2149)
  alessiofaieta
  authored
  a6ed9b2
Commits on May 5, 2026
- [spectec] Fix IL semantics rules for iterated premises
  rossberg
  committed
  f28b2f3
- [spec] Add missing meta-theory rules for recursive type indices (#2156)
  rossberg
  authored
  1c659a6
Commits on May 7, 2026
- [spectec] Constrain type inference for sequences (#2160)
  rossberg
  authored
  dbde397
Commits on May 8, 2026
- [spec] Fix validation of ref.func set (#2162)
  zilinc
  authored
  e422cdf
- [spec/spectec] Fix prose for rule instr_const (#2161)
  f52985
  authored
  28b9f84
Commits on May 12, 2026
Commits on May 13, 2026
- [interpreter] Fix deftype closure invariant in validator (#2167)
  rossberg
  authored
  4aaa12c
- [spec] Add missing text format for relaxed_dot instructions (#2163)
  rossberg
  authored
  9fb128d
Commits on May 14, 2026
- [spec] Add missing `exnaddr` in Addresses section (#2168)
  q82419
  authored
  3f3b4c2
Commits on May 15, 2026
- [test][harness] Add table64 to the JS spectest definitions (#2017)
  cqundefine
  authored
  e2f04d6
Commits on May 19, 2026
- [spectec] IL semantics: be sufficiently eager to not drop failures (#2169)
  rossberg
  authored
  8db1617
Commits on May 20, 2026
- [spectec] Make NanoWasm.pdf reproducible
  rossberg
  committed
  d34a973
Commits on May 26, 2026
- [spectec] Couple of minor fixes to spec
  rossberg
  committed
  9c5f5b0
- [spec/spectec] Compact subtyping check in branch rules
  raoxiaojia
  authored
  e62a7f0
- [spectec] Tweak Config_ok to use Expr_ok2
  rossberg
  committed
  ee70f77
- [test][harness] Fix table64 in the JS spectest definitions (#2172)
  Ms2ger
  authored
  eb6f165
- [test] Improve test coverage around {data,elem}.drop (#2176)
  bvisness
  authored
  a05043b
Commits on May 27, 2026
- [spectec] Externaddr ok guard (#2178)
  raoxiaojia
  authored
  93c7fab
Commits on Jun 2, 2026
- [spec] Fix typo in rule (#2179)
  rossberg
  authored
  a5e5ad5
- [spectec] Overhaul handling of partiality in evaluator (WIP)
  rossberg
  committed
  65db2fb
- Track valueness for intro forms
  rossberg
  committed
  e74ad1d
Commits on Jun 3, 2026
- Static reduction
  rossberg
  committed
  21b053f
Commits on Jun 4, 2026
- [spec] Typing rule fix for `handler` blocks (#2180)
  raoxiaojia
  authored
  507bb1e
- [spectec] Handle shadowing in IL semantics (#2181)
  rossberg
  authored
  7a366e1
Commits on Jun 8, 2026
- [spec] Tightened resulttype validity guard context for `frame` blocks (#2183)
  raoxiaojia
  authored
  0e00418
Commits on Jun 10, 2026
- [spectec] Fix upper limit in memory/tableinst extension relations (#2185)
  DCupello1
  authored
  7827c14
- [spec] Fix rendering of is_packtype (#2186)
  raoxiaojia
  authored
  9f5be8e
Commits on Jun 12, 2026
- [spectec] Fix several wrong type annotations produced by elaborator
  rossberg
  committed
  5e0f6e4
- [spectec] Enable to run validator as inferrer
  rossberg
  committed
  7e98d85
- [spectec] Do not create redundant 1-tuples
  rossberg
  committed
  f8d7f41
- [spectec] Update test expects after rebase
  rossberg
  committed
  585c73a
- [spectec] Forgotten commit for validator
  rossberg
  committed
  ee6b46b
- [spectec] Fix commit for validator
  rossberg
  committed
  b1c5da6
Commits on Jun 13, 2026
- [spectec] Refactor argument unboxing
  rossberg
  committed
  f3d3448
Commits on Jun 16, 2026
- [spectec] Add generalised typing rules for call_ref soundness (#2188)
  rossberg
  authored
  da036ca
Commits on Jun 19, 2026
- [spec] Rename `(offset foo)` text production to `offsetexpr` (fixing broken links) (#2190)
  bvisness
  authored
  86477a3
- [spec] Prevent possible index overflow in typing rule for module instances (#2192)
  rossberg
  authored
  869387d
Commits on Jun 23, 2026
- [spec] Restrict tag typing to match current expectations
  rossberg
  committed
  30a71d8
- [spec] Fix memarg text format
  rossberg
  committed
  ec055c0
- [spec] Add valtype validity guard to `Local_ok` (#2195)
  raoxiaojia
  authored
  9979256
- [spec] Fix instr sequence typing rules to actually be composable (#2197)
  rossberg
  authored
  bd4633a
Commits on Jun 24, 2026
- [spec] Partly revert #2162: ignore start for func refs (#2201)
  zilinc
  authored
  24a7a71
Commits on Jun 25, 2026
- [spec] Layout tweak
  rossberg
  committed
  7c4e998
Commits on Jun 27, 2026
- [spectec/interpreter] Update dune-project files
  rossberg
  committed
  82cd4f9
Commits on Jul 7, 2026
- [spec] Fix minor error on v128.store_lane oob condition (#2204)
  raoxiaojia
  authored
  ef4771a
- [spec] Fix localval_ok/unset for Appendix (#2206)
  raoxiaojia
  authored
  3714348
Commits on Jul 8, 2026
- [cite] Update wasm-specs.bib
  rossberg
  authored
  1440d2d
Commits on Jul 9, 2026
- [spectec] Eps
  rossberg
  committed
  15a46ee
Commits on Jul 10, 2026
- [website] Add 3.0 to versions; tweak bibentries to actually work as intended
  rossberg
  committed
  c29be3e
- [website] Move doc to the correct location
  rossberg
  committed
  d7b37e4
Commits on Jul 22, 2026
- [spec] Additional implementaiton limits (#2207)
  rossberg
  authored
  4bc9c38
- [spectec] Generalise paren suppression for hidden constructors
  rossberg
  committed
  025bcbf
Commits on Jul 23, 2026
- [spec] Test subsumption in return call result types (#2211)
  CharlieTap
  authored
  091214d
- [spec] Add missing condition in Instr_ok2/frame (#2212)
  zilinc
  authored
  285a903
Commits on Jul 24, 2026
- [spec] Specify host functions in SpecTec (#2210)
  zilinc
  authored
  dfa3f32
Commits on Jul 27, 2026
- [spectec] Fix Wasm 1.0 loop typing rule
  rossberg
  committed
  208d658
- [interpreter] Tweak parsing of simd shuffle indices (#2214)
  rossberg
  authored
  702072f
- [spectec] Add missing premise to Wasm 1.0 typing rule for call_indirect
  rossberg
  committed
  b609ed7
- [spectec] Fix typo in example
  rossberg
  committed
  fddfdfc
- [spectec] Test expects
  rossberg
  committed
  2e41952
Commits on Jul 28, 2026
- [spectec] Upstream tweaks to Wasm 1.0 rules (#2218)
  lzy0505
  authored
  bdd7164
Commits on Aug 12, 2026
- [ci] Fix spec publishing in forks (#2225)
  kmiller68
  authored
  fc209c5
Commits on Aug 26, 2026
- Require Python 3.10 in document README (#2234)
  bvisness
  authored
  4b29bdb
Commits on Aug 31, 2026
- Add explicit permissions blocks to all workflows (#2236)
  gsnedders
  authored
  9877355
Commits on Sep 1, 2026
Commits on Sep 2, 2026
- [interpreter] Add a glb function on value types
  rossberg
  committed
  d581ba9
Commits on Sep 3, 2026
- [spectec] Fix scoping of constructor parameters during dimension analysis (#2243)
  rossberg
  authored
  f0ec446
- [interpreter] Ensure that inline (data)s and (elem)s count toward indices (#2242)
  bvisness
  authored
  37d6b05
Commits on Sep 8, 2026
- [spectec] fix VLOAD typing in Wasm 2.0 (#2246)
  zilinc
  authored
  9b11f5d
- [spec] Add load rules missing from document (#2247)
  rossberg
  authored
  95dffb6
Commits on Sep 11, 2026
- [spec] Fix Context_ok rule with a wrong meta-variable (#2249)
  zilinc
  authored
  779957d
Commits on Sep 21, 2026
- [spec] Fix input shape for relaxed_dot_add (#2250)
  brendandahl
  authored
  ba9fd9f
Commits on Sep 22, 2026
- Fix finding exceptions test files in `run.py` (#2251)
  fitzgen
  authored
  6087111
Commits on Sep 30, 2026
- [js-api] Fix misapplied ECMA-262 ReturnIfAbrupt shorthand (?, !)
  
  f52985
  authored and
  Ms2ger
  committed
  31ef4f7
- [js-api] Fix text left behind by the Wasm Core Spec's own representation changes
  
  f52985
  authored and
  Ms2ger
  committed
  bc03037
Commits on Oct 1, 2026
- [js-api] Fix editorial slips for JS API document (#2254)
  f52985
  authored
  957c932
Commits on Oct 2, 2026
- [js-api] Fix read the imports checking importObject for undefined instead of missing
  
  f52985
  authored and
  Ms2ger
  committed
  814cc21
- [js-api] Expose Tag/Exception everywhere, matching every other interface in this namespace
  
  f52985
  authored and
  Ms2ger
  committed
  2e44bf7
- Merge remote-tracking branch 'upstream/main'
  tlively
  committed
  8efe94e

Commits

Commits on Oct 30, 2025

Commits on Nov 2, 2025

Commits on Nov 4, 2025

Commits on Nov 18, 2025

Commits on Dec 2, 2025

Commits on Dec 3, 2025

Commits on Jan 13, 2026

Commits on Jan 18, 2026

Commits on Jan 19, 2026

Commits on Jan 20, 2026

Commits on Jan 22, 2026

Commits on Jan 26, 2026

Commits on Jan 27, 2026

Commits on Feb 3, 2026

Commits on Feb 5, 2026

Commits on Feb 6, 2026

Commits on Feb 9, 2026

Commits on Feb 10, 2026

Commits on Feb 12, 2026

Commits on Feb 13, 2026

Commits on Feb 16, 2026

Commits on Feb 18, 2026

Commits on Feb 21, 2026

Commits on Feb 24, 2026

Commits on Feb 25, 2026

Commits on Feb 26, 2026

Commits on Feb 27, 2026

Commits on Mar 1, 2026

Commits on Mar 3, 2026

Commits on Mar 9, 2026

Commits on Mar 10, 2026

Commits on Mar 11, 2026

Commits on Mar 12, 2026

Commits on Mar 16, 2026

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Commits on Mar 23, 2026

Commits on Mar 24, 2026