Update SMT-based ISLE verifier#13550

Open

avanhatt wants to merge 77 commits into

bytecodealliance:mainfrom

avanhatt:upstream-06-02

Commits on Jun 3, 2026

Commits on Jun 4, 2026

More cleanup
avanhatt
committed

Commits on Jun 5, 2026

Commits on Jun 6, 2026

More format
avanhatt
committed
fmt
avanhatt
committed

Commits on Jun 8, 2026

Commits on Jun 12, 2026

Pin ASLp to the 0.3.4 release
mmcloughlin
committed
Cranelift: Remove the `{band,bor,bxor}_not` instructions (#13590)

fitzgen
authored and
avanhatt
committed
Remove some uses of `ir::GlobalValue`s from Wasm-to-CLIF translation (#13593)

fitzgen
authored and
avanhatt
committed
Enable the Wasm GC proposal by default (#13594)

fitzgen
authored and
avanhatt
committed
wizer: support init func as a wave function call (components only) (#13582)

pchickey
authored and
avanhatt
committed
Update wasi-testsuite and get it running (#13592)

alexcrichton
authored and
avanhatt
committed
Update some deps on their major version tracks (#13570)

alexcrichton
authored and
avanhatt
committed
Update wasi-testsuite again (#13595)

alexcrichton
authored and
avanhatt
committed
Fix some build warnings on macos (#13598)

fitzgen
authored and
avanhatt
committed
Set `IPV6_V6ONLY` for UDP sockets (#13596)

alexcrichton
authored and
avanhatt
committed
Do not use `ir::GlobalValue`s for GC heap base and bound (#13600)

fitzgen
authored and
avanhatt
committed
Always use the vmctx alias region for all loads from within the vmctx (#13599)

fitzgen
authored and
avanhatt
committed
Wasmtime: enable exception-handling by default. (#13603)

cfallin
authored and
avanhatt
committed
Flag most wasi-testsuite tests as expected to pass (#13602)

alexcrichton
authored and
avanhatt
committed
fix: substituted_component_type panic on guest-exported resources (#13608)

rvolosatovs
authored and
avanhatt
committed
fix(tests): loosen p3 outbound content length error conditions (#13606)

vados-cosmonic
authored and
avanhatt
committed
Remove `ExceptionTable::lookup_pc_tag` (#13604)

alexcrichton
authored and
avanhatt
committed
Add bounds-checked unsafe intrinsics (#13597)

fitzgen
authored and
avanhatt
committed
Reuse `UnsafeIntrinsicCompiler` inside `TrampolineCompiler` (#13601)

fitzgen
authored and
avanhatt
committed
Consolidate wasm features in `config.rs` (#13605)

alexcrichton
authored and
avanhatt
committed
[gc_fuzz]: Add and complete i31 (#13609)

khagankhan
authored and
avanhatt
committed
Fix x64 rules, update filtering/printing logic, remove dead/unused aarch64 rules
avanhatt
committed
Merge branch 'main' into upstream-06-02
avanhatt
committed
fix merge
avanhatt
committed
fix merge
avanhatt
committed
fmt
avanhatt
committed
Config files; prtest:all
avanhatt
committed

Commits on Jun 13, 2026

Commits on Jun 15, 2026

Commits on Jun 16, 2026

Avoid stack overflow in ISLE parser by raising stack size; prtest:all
avanhatt
committed