| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analysis] Implement Flat lattice (#6039) | Thomas Lively | 2023-10-25 | 1 | -0/+93 |
| * | [analysis] Add a FullLattice concept and Inverted lattice (#6038) | Thomas Lively | 2023-10-25 | 3 | -4/+69 |
| * | [analysis] Implement an Int lattice (#6037) | Thomas Lively | 2023-10-25 | 1 | -0/+63 |
| * | [analysis] Implement a Bool lattice (#6036) | Thomas Lively | 2023-10-25 | 1 | -0/+47 |
| * | [analysis][NFC] Rename `makeLeastUpperBound` to `join` and move it to lattice... | Thomas Lively | 2023-10-25 | 3 | -57/+62 |
| * | [analysis][NFC] Move the stack lattice to analysis/lattices (#6030) | Thomas Lively | 2023-10-20 | 1 | -0/+266 |
| * | [analysis][NFC] Move powerset lattices to their own header (#6028) | Thomas Lively | 2023-10-20 | 2 | -0/+264 |
 |
index : forks/binaryen.git | |
| summaryrefslogtreecommitdiff |