Sign in
bazel
/
crubit
/
3e1cd484455c41e6e86b42448f7a96739080407a
/
nullability
/
pointer_nullability_analysis_test.cc
3e1cd48
[nullability] Allow nullability properties to be "top".
by Martin Brænne
· 1 year, 5 months ago
a868026
Rework PointerNullState APIs
by Sam McCall
· 1 year, 6 months ago
e644e1d
All nullability vectors can now store symbolic nullability
by Sam McCall
· 1 year, 8 months ago
c003cbd
Replace is_known property with from_nullable
by Sam McCall
· 1 year, 9 months ago
aeb861f
Integrate LLVM at llvm/llvm-project@7a749fe94bb7
by Dmitri Gribenko
· 1 year, 9 months ago
4af297f
Fix build now that Environment is not copyable
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