Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [NFC] Add explicit deduction guides for CTAD (#6094) | Thomas Lively | 2023-11-09 | 1 | -0/+4 |
* | [analysis] Simplify core analysis code (#6034) | Thomas Lively | 2023-10-25 | 1 | -17/+5 |
* | [analysis][NFC] Create a TransferFunction concept (#6033) | Thomas Lively | 2023-10-20 | 1 | -63/+4 |
* | [analysis][NFC] Use C++20 concepts for Lattice (#6027) | Thomas Lively | 2023-10-18 | 1 | -20/+15 |
* | Reaching Definitions Analysis for LocalGraph (#5817) | Bruce He | 2023-07-19 | 1 | -8/+29 |
* | Small fixes to lattice and analyzer (#5815) | Bruce He | 2023-07-13 | 1 | -1/+0 |
* | Make the Transfer Function a Generic, Interchangeable Type for the Monotone A... | Bruce He | 2023-07-06 | 1 | -41/+83 |
* | Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784) | Bruce He | 2023-06-29 | 1 | -23/+22 |
* | Liveness Analysis Proof of Concept (#5771) | Bruce He | 2023-06-23 | 1 | -0/+77 |