- 3d56a22 Create pointer nullability lattice. by Dani Ferreira Franco Moura · 2 years, 4 months ago
- 178ce53 Remove unused PointerNullabilityLattice, replace with NoopLattice. by Wei Yi Tee · 2 years, 8 months ago
- c46666a Use synthetic properties on PointerValue to track null state of pointers, instead of tracking in the lattice. by Wei Yi Tee · 2 years, 8 months ago
- 85d8737 Rename property which indicates if a pointer is non null. by Wei Yi Tee · 2 years, 10 months ago
- 1cd62af Implement transfer function for interpreting nullptr, address_of (&) operator, comparison between pointers. by Wei Yi Tee · 2 years, 10 months ago
- 543af74 Set up tooling for verifying C++ code complies with nullability annotations. by Wei Yi Tee · 2 years, 10 months ago
