Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update CFGWalker to generate consolidated exit blocks (#6079) | Thomas Lively | 2023-11-06 | 1 | -0/+5 |
* | [analysis] Make it easier to implement a transfer function (#6077) | Thomas Lively | 2023-11-02 | 1 | -8/+4 |
* | [analysis] Simplify core analysis code (#6034) | Thomas Lively | 2023-10-25 | 1 | -0/+2 |
* | Static Analysis: Add an API to get the block index of an expression (#5822) | Alon Zakai | 2023-07-20 | 1 | -0/+24 |
* | Reaching Definitions Analysis for LocalGraph (#5817) | Bruce He | 2023-07-19 | 1 | -4/+3 |
* | Make the Transfer Function a Generic, Interchangeable Type for the Monotone A... | Bruce He | 2023-07-06 | 1 | -0/+4 |
* | Liveness Analysis Proof of Concept (#5771) | Bruce He | 2023-06-23 | 1 | -0/+6 |
* | avoid incomplete type in a vector (#5730) | walkingeyerobot | 2023-05-17 | 1 | -17/+17 |
* | [analysis] Add a new iterable CFG utility (#5712) | Thomas Lively | 2023-05-12 | 1 | -0/+79 |