| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [analysis] Implement an array lattice (#6057) | Thomas Lively | 2023-10-31 | 1 | -0/+122 |
| * | [analysis][NFC] Rename parameters to join and meet methods (#6056) | Thomas Lively | 2023-10-30 | 8 | -64/+64 |
| * | [analysis] Improve lattice fuzzer (#6050) | Thomas Lively | 2023-10-27 | 2 | -1/+2 |
| * | [analysis] Implement a Lift lattice (#6040) | Thomas Lively | 2023-10-25 | 3 | -0/+88 |
| * | [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 |
