summaryrefslogtreecommitdiff
path: root/test/lit/passes/gufa.wast
Commit message (Expand)AuthorAgeFilesLines
* Fix GUFA on calls to function refs in open world (#7135)Alon Zakai2024-12-041-1/+4
* Require `then` and `else` with `if` (#6201)Thomas Lively2024-01-041-34/+66
* Match names more precisely in update_lit_checks.py (#6190)Thomas Lively2024-01-021-9/+14
* Simplify and consolidate type printing (#5816)Thomas Lively2023-08-241-57/+57
* Print function types on function imports in the text format (#5727)Alon Zakai2023-05-171-6/+6
* Use Names instead of indices to identify segments (#5618)Thomas Lively2023-04-041-5/+5
* Change the default type system to isorecursive (#5239)Thomas Lively2022-11-231-40/+40
* GUFA: Use SSA-style information (#5121)Alon Zakai2022-10-071-8/+5
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-5/+5
* GUFA: Mutable exported globals are roots (#4935)Alon Zakai2022-08-221-0/+51
* [GUFA] Handle GUFA + Intrinsics (#4839)Alon Zakai2022-08-011-0/+146
* Grand Unified Flow Analysis (GUFA) (#4598)Alon Zakai2022-07-221-0/+922