summaryrefslogtreecommitdiff
path: root/test/gtest/lattices.cpp
Commit message (Expand)AuthorAgeFilesLines
* [threads] Shared basic heap types (#6667)Thomas Lively2024-06-191-5/+5
* [analysis] Allow joining a single vector element efficiently (#6071)Thomas Lively2023-11-021-0/+43
* [analysis] Simplify the stack lattice (#6069)Thomas Lively2023-11-021-0/+26
* [analysis] Add a "Shared" lattice to represent shared state (#6067)Thomas Lively2023-11-021-0/+108
* [analysis][NFC] Refactor lattice unit tests (#6065)Thomas Lively2023-11-011-420/+145
* [analysis] Add a lattice for value types (#6064)Thomas Lively2023-11-011-0/+112
* [analysis] Add a tuple lattice (#6062)Thomas Lively2023-10-311-0/+117
* [analysis] Implement a vector lattice (#6058)Thomas Lively2023-10-311-0/+109
* [analysis] Implement an array lattice (#6057)Thomas Lively2023-10-311-0/+109
* [analysis] Implement a Lift lattice (#6040)Thomas Lively2023-10-251-0/+77
* [analysis] Implement Flat lattice (#6039)Thomas Lively2023-10-251-0/+103
* [analysis] Add a FullLattice concept and Inverted lattice (#6038)Thomas Lively2023-10-251-3/+113
* [analysis] Implement an Int lattice (#6037)Thomas Lively2023-10-251-0/+36
* [analysis] Implement a Bool lattice (#6036)Thomas Lively2023-10-251-0/+50
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 18:47:11 +0000