summaryrefslogtreecommitdiff
path: root/test/lit/passes/gufa-vs-cfp.wast
Commit message (Expand)AuthorAgeFilesLines
* Fix supertype counts when collecting heap types (#6905)Thomas Lively2024-09-051-5/+5
* Use TopologicalSort::minSort to order rec groups (#6892)Thomas Lively2024-09-041-9/+9
* Remove extra space printed in empty structs (#6750)Thomas Lively2024-07-161-1/+1
* [Parser] Enable the new text parser by default (#6371)Thomas Lively2024-04-251-3/+3
* [NFC] Add the type of the Expression when eliding it (#6362)Alon Zakai2024-02-281-3/+3
* Require `then` and `else` with `if` (#6201)Thomas Lively2024-01-041-4/+12
* Remove legacy type defintion text syntax (#5948)Thomas Lively2023-09-181-22/+22
* Make final types the default (#5918)Thomas Lively2023-09-091-28/+28
* Simplify and consolidate type printing (#5816)Thomas Lively2023-08-241-170/+170
* Use the standard syntax for ref.cast, ref.test and array.new_fixed (#5894)Jérôme Vouillon2023-08-231-13/+13
* GUFA: Refine casts (#5805)Alon Zakai2023-07-071-5/+9
* Print supertype declarations using the standard format (#5801)Thomas Lively2023-07-061-17/+17
* Print function types on function imports in the text format (#5727)Alon Zakai2023-05-171-11/+11
* [Wasm GC] Automatically make RefCast heap types more precise (#5704)Alon Zakai2023-05-051-5/+7
* Port the remaining test/lit/passes tests off of --nominal (#5668)Thomas Lively2023-04-141-14/+18
* [Wasm GC] Handle packed fields in GUFA and CFP (#5640)Alon Zakai2023-04-071-0/+56
* getHeapTypeCounts() must note select types for references (#5540)Alon Zakai2023-03-031-2/+2
* Parse and print `array.new_fixed` (#5527)Thomas Lively2023-02-281-2/+2
* Use non-nullable ref.cast for non-nullable input (#5335)Thomas Lively2022-12-091-6/+6
* Add standard versions of WasmGC casts (#5331)Thomas Lively2022-12-071-11/+11
* Change the default type system to isorecursive (#5239)Thomas Lively2022-11-231-114/+114
* GUFA: Use SSA-style information (#5121)Alon Zakai2022-10-071-16/+6
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-14/+17
* Remove RTTs (#4848)Thomas Lively2022-08-051-156/+77
* Grand Unified Flow Analysis (GUFA) (#4598)Alon Zakai2022-07-221-0/+2753
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 03:59:09 +0000