summaryrefslogtreecommitdiff
path: root/test/lit/passes/gsi.wast
Commit message (Expand)AuthorAgeFilesLines
* Remove legacy type defintion text syntax (#5948)Thomas Lively2023-09-181-21/+21
* Make final types the default (#5918)Thomas Lively2023-09-091-10/+10
* GlobalStructInference: Add missing ReFinalize (#5898)Alon Zakai2023-08-241-0/+47
* Simplify and consolidate type printing (#5816)Thomas Lively2023-08-241-52/+52
* Print supertype declarations using the standard format (#5801)Thomas Lively2023-07-061-13/+13
* Port a few more tests off of --nominal (#5666)Thomas Lively2023-04-141-24/+35
* [Wasm GC] Enforce closed-world in GlobalStructInference (#5385)Alon Zakai2023-01-031-49/+1
* [Wasm GC] Fix GlobalStructInference reasoning on unoptimizability (#5381)Alon Zakai2023-01-031-0/+159
* [Wasm GC] Fix GlobalStructInference on unrefined globals (#5338)Alon Zakai2022-12-121-0/+93
* Change the default type system to isorecursive (#5239)Thomas Lively2022-11-231-46/+45
* GlobalStructInference: Handle the case of just 1 value (#5259)Alon Zakai2022-11-151-5/+58
* GlobalStructInference: Handle cases with just 1 global too (#5253)Alon Zakai2022-11-151-19/+74
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-113/+113
* GlobalStructInference: Handle >2 globals if values coincide (#4714)Alon Zakai2022-06-081-0/+264
* Global Struct Inference pass: Infer two constants in struct.get (#4659)Alon Zakai2022-06-011-0/+806