summaryrefslogtreecommitdiff
path: root/src/analysis/lattices
Commit message (Expand)AuthorAgeFilesLines
* [analysis] Implement a vector lattice (#6058)Thomas Lively2023-10-312-0/+139
* [analysis] Implement an array lattice (#6057)Thomas Lively2023-10-311-0/+122
* [analysis][NFC] Rename parameters to join and meet methods (#6056)Thomas Lively2023-10-308-64/+64
* [analysis] Improve lattice fuzzer (#6050)Thomas Lively2023-10-272-1/+2
* [analysis] Implement a Lift lattice (#6040)Thomas Lively2023-10-253-0/+88
* [analysis] Implement Flat lattice (#6039)Thomas Lively2023-10-251-0/+93
* [analysis] Add a FullLattice concept and Inverted lattice (#6038)Thomas Lively2023-10-253-4/+69
* [analysis] Implement an Int lattice (#6037)Thomas Lively2023-10-251-0/+63
* [analysis] Implement a Bool lattice (#6036)Thomas Lively2023-10-251-0/+47
* [analysis][NFC] Rename `makeLeastUpperBound` to `join` and move it to lattice...Thomas Lively2023-10-253-57/+62
* [analysis][NFC] Move the stack lattice to analysis/lattices (#6030)Thomas Lively2023-10-201-0/+266
* [analysis][NFC] Move powerset lattices to their own header (#6028)Thomas Lively2023-10-202-0/+264
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 06:11:31 +0000