summaryrefslogtreecommitdiff
path: root/src/analysis/monotone-analyzer.h
Commit message (Expand)AuthorAgeFilesLines
* [NFC] Add explicit deduction guides for CTAD (#6094)Thomas Lively2023-11-091-0/+4
* [analysis] Simplify core analysis code (#6034)Thomas Lively2023-10-251-17/+5
* [analysis][NFC] Create a TransferFunction concept (#6033)Thomas Lively2023-10-201-63/+4
* [analysis][NFC] Use C++20 concepts for Lattice (#6027)Thomas Lively2023-10-181-20/+15
* Reaching Definitions Analysis for LocalGraph (#5817)Bruce He2023-07-191-8/+29
* Small fixes to lattice and analyzer (#5815)Bruce He2023-07-131-1/+0
* Make the Transfer Function a Generic, Interchangeable Type for the Monotone A...Bruce He2023-07-061-41/+83
* Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)Bruce He2023-06-291-23/+22
* Liveness Analysis Proof of Concept (#5771)Bruce He2023-06-231-0/+77