| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analysis] Make it easier to implement a transfer function (#6077) | Thomas Lively | 2023-11-02 | 1 | -9/+6 |
| * | [analysis][NFC] Rename `makeLeastUpperBound` to `join` and move it to lattice... | Thomas Lively | 2023-10-25 | 1 | -1/+1 |
| * | [analysis] Simplify core analysis code (#6034) | Thomas Lively | 2023-10-25 | 1 | -59/+40 |
| * | [analysis][NFC] Create a TransferFunction concept (#6033) | Thomas Lively | 2023-10-20 | 1 | -19/+20 |
| * | [analysis][NFC] Use C++20 concepts for Lattice (#6027) | Thomas Lively | 2023-10-18 | 1 | -23/+18 |
| * | Reaching Definitions Analysis for LocalGraph (#5817) | Bruce He | 2023-07-19 | 1 | -0/+20 |
| * | Make the Transfer Function a Generic, Interchangeable Type for the Monotone A... | Bruce He | 2023-07-06 | 1 | -95/+40 |
| * | Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784) | Bruce He | 2023-06-29 | 1 | -67/+62 |
| * | Liveness Analysis Proof of Concept (#5771) | Bruce He | 2023-06-23 | 1 | -0/+153 |
 |
index : forks/binaryen.git | |
| summaryrefslogtreecommitdiff |