1. b70563a Extract a few functions for reuse in inference pipelines by Sam McCall · 1 year, 8 months ago
  2. e644e1d All nullability vectors can now store symbolic nullability by Sam McCall · 1 year, 9 months ago
  3. 7d9afee clang-format: PointerAlignment: Right, following LLVM style by Sam McCall · 1 year, 9 months ago
  4. 74bf864 Allow binding nullability of decls to SAT variables, to support inference. by Sam McCall · 1 year, 10 months ago
  5. d127f93 Add TypeNullability typedef for nullability vector by Sam McCall · 1 year, 11 months ago
  6. 5fc2a80 Split functions relating to type-nullability out of pointer_nullability.h by Sam McCall · 1 year, 11 months ago