Google Git
Sign in
bazel / crubit / 6cc904e71bbdcad16f65548684f0af8f8cc7bc16
  1. 6cc904e [nullability] Add support for type alias nullability annotations in tests. by Martin Brænne · 1 year, 5 months ago
  2. 1f3b8da Stop trying to override the top level of an empty nullability vector. by Googler · 1 year, 5 months ago
  3. dab5664 [nullability] Use `proves()` and `assume()` instead of deprecated synonyms. by Martin Brænne · 1 year, 5 months ago
  4. 5392b47 Allow multiple iterations of inference in infer_tu[_main]. by Googler · 1 year, 5 months ago
  5. af5f0b0 [nullability] Eliminate redundant call to `getPointerNullState()`. by Martin Brænne · 1 year, 5 months ago
  6. af055c1 adapt for rustc API changes https://github.com/rust-lang/rust/commit/59f6f044f5228e039e1310b97f478c79aa745f35 by Krasimir Georgiev · 1 year, 5 months ago
  7. 3fb8858 adapt for rustc API changes https://github.com/rust-lang/rust/commit/c3fd4383fb6a49a4ad916809ccd0c26b0edfd299 by Krasimir Georgiev · 1 year, 5 months ago
  8. 3a36d88 rs_bindings_from_cc: Add a reproducer for template instantiation that involves a private type. by Jing Lu · 1 year, 5 months ago
  9. f5e6f8f [nullabiltiy] Use `proves()` and `assume()` instead of deprecated synonyms. by Martin Brænne · 1 year, 5 months ago
  10. 262ffc7 [nullability] Fix crash in `transferFlowSensitiveAccessorCall()`. by Martin Brænne · 1 year, 5 months ago
  11. 3f5afef [nullability] Small fixes to input code in tests. by Martin Brænne · 1 year, 5 months ago
  12. dd2a770 [nullability] Implement pointer widening. by Martin Brænne · 1 year, 5 months ago
  13. 3e1cd48 [nullability] Allow nullability properties to be "top". by Martin Brænne · 1 year, 5 months ago
  14. e1bc97c [nullability] Add clarifying comment. by Martin Brænne · 1 year, 5 months ago
  15. e9a51b5 Fix crash in member accessor code due to data member not being modeled by Googler · 1 year, 5 months ago
  16. 5cd318a [nullability] Add two tests that reproduce bugs with path-sensitive initialization. by Martin Brænne · 1 year, 5 months ago
  17. 874fa80 [nullability] New test: Calling a `noreturn` destructor is considered to terminate the program. by Martin Brænne · 1 year, 5 months ago
  18. 2c9f53f Use previous inference results in PointerNullabilityAnalysis. by Googler · 1 year, 5 months ago
  19. 50aba84 OSS build presubmit: Disable 'Rolling Bazel Version' build. by Jing Lu · 1 year, 5 months ago
  20. 31cc2d3 Return reference instead of pointer. by Googler · 1 year, 5 months ago
  21. 7191949 Compute the constraints on inferable slots used to compute other values' nullabilities once per function. by Googler · 1 year, 5 months ago
  22. e4d1f9f Update rules_rust usage to match https://github.com/bazelbuild/rules_rust/commit/cd3e53e9b8555543071ea109218baf41fc4b88f7. by Krasimir Georgiev · 1 year, 5 months ago
  23. ac9ac80 Constrain inferable slots to previously inferred nullabilities when available, instead of always to Unknown, when querying the nullability of other values. by Googler · 1 year, 5 months ago
  24. 6acdc64 Store USR cache outside of EvidenceEmitter so that it can be shared in more places. by Googler · 1 year, 5 months ago
  25. f1f793d Wire previously inferred slot nullabilities into the generation of constraints for inferable slots. by Googler · 1 year, 5 months ago
  26. 0abff84 rs_bindings_from_cc: Expand make variables in user copts. by Jing Lu · 1 year, 5 months ago
  27. 0c72bf2 Add a fingerprinting function for our nullability slot representation. by Googler · 1 year, 5 months ago
  28. bcfef62 Handle accessors that directly return a pointer member variable by Googler · 1 year, 5 months ago
  29. 5753445 Integrate LLVM at llvm/llvm-project@f6f944e77f74 by Googler · 1 year, 5 months ago
  30. 45c2273 [nullability] Fix a test bug. by Martin Brænne · 1 year, 5 months ago
  31. 19840f6 Move test for string_view next to its implementation in crubit/support/cc_std/. by Jing Lu · 1 year, 6 months ago
  32. 3b354b0 [nullability] Add repro for false positive caused by inconsistent loop state. by Martin Brænne · 1 year, 6 months ago
  33. 563b90c Prune unneeded dependencies of `cc_bindings_from_rs`. by Lukasz Anforowicz · 1 year, 6 months ago
  34. 9b9716c Finally, move `bindings` to a separate crate. by Devin Jeanpierre · 1 year, 6 months ago
  35. d9d5edd Crubit OSS build presubmit: Bump the rust toolchain version. by Jing Lu · 1 year, 6 months ago
  36. 1397fc9 Crubit OSS build presubmit: Bump LLVM version and add `-Wno-missing-braces`. by Jing Lu · 1 year, 6 months ago
  37. fbc9765 Integrate LLVM at llvm/llvm-project@73f8ec9edb52 by Googler · 1 year, 6 months ago
  38. 2375c5b Move `cmdline` to a separate crate. by Devin Jeanpierre · 1 year, 6 months ago
  39. 0517597 Integrate LLVM at llvm/llvm-project@173fd67a124d by Googler · 1 year, 6 months ago
  40. 0b1e988 Move run_compiler and its testonly helper functions into separate crates. by Devin Jeanpierre · 1 year, 6 months ago
  41. f2e50e7 Prepare `CcBindingsFromRustInfo` for round-tripped interop. by Devin Jeanpierre · 1 year, 6 months ago
  42. 199d969 Allow multiple headers in `--bindings-from-dependency`. by Devin Jeanpierre · 1 year, 6 months ago
  43. 8c90fda Mark non-conflicting inferences made from existing annotations as trivial. by Googler · 1 year, 6 months ago
  44. 638ffa7 Google-internal change. by Jing Lu · 1 year, 6 months ago
  45. 61fda74 Google-internal change by Jing Lu · 1 year, 6 months ago
  46. 3b4ac68a [nullability][NFC] Add newline at end of aliases.cc. by Martin Brænne · 1 year, 6 months ago
  47. ac7c3fd s/other-crate-bindings/bindings-from-dependency/g by Devin Jeanpierre · 1 year, 6 months ago
  48. 241915d Fix bug: forward declarations didn't take namespaces into account. by Devin Jeanpierre · 1 year, 6 months ago
  49. 7ac3e67 Support specifying angular brackets for including Crubit support C++ library headers. by Jing Lu · 1 year, 6 months ago
  50. 4487593 Google-internal change. by Jing Lu · 1 year, 6 months ago
  51. ea4d790 [nullability] Add various tests for loops that mutate pointer variables. by Martin Brænne · 1 year, 6 months ago
  52. 9f1e3c7 OSS build presubmit: Disable 'Rolling Bazel Version' build. by Jing Lu · 1 year, 6 months ago
  53. 165ab33 Google-internal change. by Jing Lu · 1 year, 6 months ago
  54. 43114e8 Infer Nonnull parameters from the passing of an influenced value to a Nonnull parameter. by Googler · 1 year, 6 months ago
  55. 2b19e53 Remove unneccesarily-specific downcast in getPointerNullState. NFC by Sam McCall · 1 year, 6 months ago
  56. 7c0fffb Rename CallerSlotsUnknown to reflect the generic use of this function. by Googler · 1 year, 6 months ago
  57. a868026 Rework PointerNullState APIs by Sam McCall · 1 year, 6 months ago
  58. a68991e Google-internal change. by Jing Lu · 1 year, 6 months ago
  59. e0c2928 Adapt to `rustc_interface::interface::Config`'s newly-added `expanded_args` field. by Jing Lu · 1 year, 6 months ago
  60. 59cf9e6 `infer_tu_main -name-filter/-file-filter` limits analysis to interesting functions. by Sam McCall · 1 year, 6 months ago
  61. 259ed7e [nullability] Fix `ParenTypeInTemplate` test. by Martin Brænne · 1 year, 6 months ago
  62. 11028c6 update crubit for rustc API changes by Krasimir Georgiev · 1 year, 6 months ago
  63. b23bf3b Add SAT solver timeout to inference, and correctly report timeouts/errors. by Sam McCall · 1 year, 6 months ago
  64. 5f2bb24 Treat base->member as a dereference of base, for inference by Sam McCall · 1 year, 6 months ago
  65. 159f288 Integrate LLVM at llvm/llvm-project@bf8fd086d09c by Benjamin Kramer · 1 year, 6 months ago
  66. 02fae86 No public description by Jing Lu · 1 year, 7 months ago
  67. 9c3a562 Integrate LLVM at llvm/llvm-project@5bab59de4463 by Benjamin Kramer · 1 year, 7 months ago
  68. 6604531 Don't collect evidence for functions which are not inference targets. by Googler · 1 year, 7 months ago
  69. 45e9d13 Google-internal change. by Jing Lu · 1 year, 7 months ago
  70. ba9e674 Google-internal change. by Jing Lu · 1 year, 7 months ago
  71. 497e36b Add a test case demonstrating a false negative in output parameter handling by Dmitri Gribenko · 1 year, 7 months ago
  72. 779d3da Do not consider builtins to be inference targets. by Googler · 1 year, 7 months ago
  73. c449fc9 Google-internal change. by Jing Lu · 1 year, 7 months ago
  74. 2d6527a Update pointer nullability when initialized in function call by Googler · 1 year, 7 months ago
  75. a34a0f2 [nullability] Make `mergeBoolValues()` static. by Martin Brænne · 1 year, 7 months ago
  76. 4fdab41 Don't emit `struct {} zst` for ZST fields. by Jing Lu · 1 year, 7 months ago
  77. 3ab9d49 Do not run nullability inference if the input is not in C++ by Kinuko Yasuda · 1 year, 7 months ago
  78. 1fbea17 Google-internal change. by Jing Lu · 1 year, 7 months ago
  79. 23486dc Update rust toolchain_type inside rules which are using `compile_rust` function by Nevena Kotlaja · 1 year, 7 months ago
  80. e9bf7d9 [lifetime_analysis] Migrate away from deprecated `DataflowAnalysis` constructor. by Martin Brænne · 1 year, 7 months ago
  81. a659202 Google-internal change. by Jing Lu · 1 year, 7 months ago
  82. 0ef5616 Safety note about Rust references to uninitialized or invalid values. by Lukasz Anforowicz · 1 year, 7 months ago
  83. 44f03fa Sort load statements lexicographically. by Jing Lu · 1 year, 7 months ago
  84. e1771ac Google-internal change. by Jing Lu · 1 year, 7 months ago
  85. 4e940f9 Google-internal change. by Jing Lu · 1 year, 7 months ago
  86. 4f64bbc Google-internal change. by Jing Lu · 1 year, 7 months ago
  87. c5c16d2 Google-internal change. by Jing Lu · 1 year, 7 months ago
  88. e99622e Google-internal change. by Jing Lu · 1 year, 7 months ago
  89. 92de2d6 Google-internal change. by Jing Lu · 1 year, 7 months ago
  90. 6c8b8a8 Google-internal change. by Jing Lu · 1 year, 7 months ago
  91. 07e55d0 Integrate LLVM at llvm/llvm-project@1ff0bdb86dbf by Googler · 1 year, 7 months ago
  92. 9cd2fc2 [nullability] Simplify flow conditions produced when comparing against `nullptr`. by Martin Brænne · 1 year, 7 months ago
  93. 597bb72 Google-internal change. by Jing Lu · 1 year, 7 months ago
  94. c1694f8 Google-internal change. by Jing Lu · 1 year, 7 months ago
  95. 7a8d25c [nullability] Use `isSupportedPointer()` more widely. by Martin Brænne · 1 year, 7 months ago
  96. 031ff6a Add platforms repo as a dependency, and use 0.0.7 version. by Jing Lu · 1 year, 7 months ago
  97. 2646fd0 Google-internal change. by Jing Lu · 1 year, 7 months ago
  98. 37d497a Google-internal change. by Jing Lu · 1 year, 7 months ago
  99. 0452918 Add OSS version of crubit_{cc,rust}_{binary,test} macros. by Jing Lu · 1 year, 7 months ago
  100. f7c8a34 Google-internal change. by Jing Lu · 1 year, 7 months ago