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