Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | GUFA: Add missing set of optimized boolean (#6010) | Alon Zakai | 2023-10-16 | 1 | -0/+1 |
* | GUFA: Infer using TrapsNeverHappen (#5850) | Alon Zakai | 2023-08-02 | 1 | -1/+1 |
* | GUFA: Add a version that casts all of our inferences (#5846) | Alon Zakai | 2023-07-27 | 1 | -12/+80 |
* | GUFA: Refine casts (#5805) | Alon Zakai | 2023-07-07 | 1 | -0/+19 |
* | Support `ref.test null` (#5368) | Thomas Lively | 2022-12-21 | 1 | -4/+2 |
* | Remove equirecursive typing (#5240) | Thomas Lively | 2022-11-23 | 1 | -7/+0 |
* | [Wasm GC] [GUFA] Add initial ConeType support (#5116) | Alon Zakai | 2022-10-11 | 1 | -6/+8 |
* | Refactor interaction between Pass and PassRunner (#5093) | Thomas Lively | 2022-09-30 | 1 | -6/+5 |
* | [GUFA] Simplify RefTest logic [NFC] (#5084) | Alon Zakai | 2022-09-27 | 1 | -0/+29 |
* | [GUFA] Infer a RefEq value of 0 when possible (#5081) | Alon Zakai | 2022-09-26 | 1 | -1/+52 |
* | Move method implementations to drop.cpp (#4823) | Heejin Ahn | 2022-07-25 | 1 | -4/+3 |
* | Grand Unified Flow Analysis (GUFA) (#4598) | Alon Zakai | 2022-07-22 | 1 | -0/+264 |