summaryrefslogtreecommitdiff
path: root/src/passes/GUFA.cpp
Commit message (Expand)AuthorAgeFilesLines
* GUFA: Add missing set of optimized boolean (#6010)Alon Zakai2023-10-161-0/+1
* GUFA: Infer using TrapsNeverHappen (#5850)Alon Zakai2023-08-021-1/+1
* GUFA: Add a version that casts all of our inferences (#5846)Alon Zakai2023-07-271-12/+80
* GUFA: Refine casts (#5805)Alon Zakai2023-07-071-0/+19
* Support `ref.test null` (#5368)Thomas Lively2022-12-211-4/+2
* Remove equirecursive typing (#5240)Thomas Lively2022-11-231-7/+0
* [Wasm GC] [GUFA] Add initial ConeType support (#5116)Alon Zakai2022-10-111-6/+8
* Refactor interaction between Pass and PassRunner (#5093)Thomas Lively2022-09-301-6/+5
* [GUFA] Simplify RefTest logic [NFC] (#5084)Alon Zakai2022-09-271-0/+29
* [GUFA] Infer a RefEq value of 0 when possible (#5081)Alon Zakai2022-09-261-1/+52
* Move method implementations to drop.cpp (#4823)Heejin Ahn2022-07-251-4/+3
* Grand Unified Flow Analysis (GUFA) (#4598)Alon Zakai2022-07-221-0/+264