summaryrefslogtreecommitdiff
path: root/test/lit/passes/local-subtyping.wast
Commit message (Expand)AuthorAgeFilesLines
* Improve types for null accesses and remove hacks (#6954)Thomas Lively2024-09-181-1/+1
* [NFC-ish] Remove LocalGraph from LocalSubtyping (#6921)Alon Zakai2024-09-101-17/+6
* Use TopologicalSort::minSort to order rec groups (#6892)Thomas Lively2024-09-041-2/+2
* [Exceptions] Finish interpreter + optimizer support for try_table. (#6814)Sébastien Doeraene2024-08-201-2/+50
* [NFC] Add the type of the Expression when eliding it (#6362)Alon Zakai2024-02-281-1/+1
* Properly stringify names in tests (#6279)Thomas Lively2024-02-061-2/+2
* Update the text syntax for tuple types (#6246)Thomas Lively2024-01-261-4/+4
* Require `then` and `else` with `if` (#6201)Thomas Lively2024-01-041-13/+29
* Update `tuple.make` text format to include arity (#6169)Thomas Lively2023-12-121-2/+2
* Remove legacy type defintion text syntax (#5948)Thomas Lively2023-09-181-3/+3
* Replace i31.new with ref.i31 everywhere (#5931)Thomas Lively2023-09-131-14/+14
* Make final types the default (#5918)Thomas Lively2023-09-091-1/+1
* Simplify and consolidate type printing (#5816)Thomas Lively2023-08-241-33/+33
* Fix finalization of call_ref to handle refined target types (#5883)Thomas Lively2023-08-211-0/+70
* Print function types on function imports in the text format (#5727)Alon Zakai2023-05-171-2/+2
* [Wasm GC] Replace `HeapType::data` with `HeapType::struct_` (#5416)Thomas Lively2023-01-101-2/+2
* Update tests ahead of transition from `data` to `struct` (#5320)Thomas Lively2022-12-071-52/+8
* Change the default type system to isorecursive (#5239)Thomas Lively2022-11-231-15/+15
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-9/+8
* [Wasm GC] Support non-nullable locals in the "1a" form (#4959)Alon Zakai2022-08-311-16/+145
* Make `i31ref` and `dataref` nullable (#4843)Thomas Lively2022-08-261-5/+5
* Separate `func` into a separate type hierarchy (#4955)Thomas Lively2022-08-221-44/+60
* Avoid adding new unneeded names to blocks in text roundtripping (#4943)Alon Zakai2022-08-221-1/+1
* [Wasm GC] Update nulls to allow finding better LUBs (#4340)Alon Zakai2021-11-181-0/+49
* [Wasm GC] Fix LocalSubtyping on unreachable sets with incompatible values (#4...Alon Zakai2021-08-111-0/+49
* [Wasm GC] Handle unreachability in LocalSubtyping (#4044)Alon Zakai2021-08-021-0/+35
* [Wasm GC] Handle uses of default values in LocalSubtyping (#4024)Alon Zakai2021-07-281-0/+26
* [Wasm GC] Handle nondefaultable types in LocalSubtyping (#4019)Alon Zakai2021-07-231-0/+21
* [Wasm GC] Local-Subtyping pass (#3765)Alon Zakai2021-07-231-0/+205
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 03:42:25 +0000