Google Git
Sign in
bazel / crubit / b23bf3b459765bd4f55f477777a987bdf820277b / nullability / inference / collect_evidence.cc
  1. b23bf3b Add SAT solver timeout to inference, and correctly report timeouts/errors. by Sam McCall · 1 year, 7 months ago
  2. 5f2bb24 Treat base->member as a dereference of base, for inference by Sam McCall · 1 year, 7 months ago
  3. 6604531 Don't collect evidence for functions which are not inference targets. by Googler · 1 year, 7 months ago
  4. 779d3da Do not consider builtins to be inference targets. by Googler · 1 year, 7 months ago
  5. 7a8d25c [nullability] Use `isSupportedPointer()` more widely. by Martin Brænne · 1 year, 7 months ago
  6. 742c4c3 Include what you spell, miscellaneous ClangTidy fixes by Dmitri Gribenko · 1 year, 8 months ago
  7. b70563a Extract a few functions for reuse in inference pipelines by Sam McCall · 1 year, 8 months ago
  8. 2e9a797 Access correct arguments for CXXOperatorCallExprs when collecting nullability evidence. by Googler · 1 year, 8 months ago
  9. dba6897 Avoid crashes in inference: by Sam McCall · 1 year, 9 months ago
  10. 3e3ae48 Collect evidence for return type from return statements. by Googler · 1 year, 9 months ago
  11. cfd2dd1 Record locations of evidence. by Sam McCall · 1 year, 9 months ago
  12. e644e1d All nullability vectors can now store symbolic nullability by Sam McCall · 1 year, 9 months ago
  13. e1504a6 Collect evidence for function parameters from observed call sites. by Googler · 1 year, 9 months ago
  14. 1cf79e4 Don't override nullability for params that already have annotations. by Googler · 1 year, 9 months ago
  15. 83bc55c Changes to Evidence proto for aggregation and debugging by Sam McCall · 1 year, 9 months ago
  16. 296d070 Walk over an AST to work out where we should run inference. by Sam McCall · 1 year, 9 months ago
  17. ebcc123 Make collectEvidence callback based, cache USR, API tweaks by Sam McCall · 1 year, 9 months ago
  18. bd1a6e5 Gather inference evidence from function signatures. by Sam McCall · 1 year, 9 months ago
  19. e9210aa Collect nullability Evidence for function parameters from dereferences. by Googler · 1 year, 9 months ago
  20. 113194c Remove safety constraint generalization. by Googler · 1 year, 9 months ago