Google Git
Sign in
bazel / crubit / b1612dd51ebe0060e17301b167cc83b1691f0e10
  1. b1612dd rs_bindings_from_cc: Add reproducer that the offset of a field spelled later may be smaller than the offsets of fields spelled earlier. by Jing Lu · 1 year, 4 months ago
  2. d75088d Integrate LLVM at llvm/llvm-project@5d6304f01742 by Googler · 1 year, 4 months ago
  3. 9ca25d8 Integrate LLVM at llvm/llvm-project@ed86e740effa by Googler · 1 year, 4 months ago
  4. 3f04a0e rust_bindings_from_cc_aspect: Use full path of headers (instead of `short_path`) for `-include`. by Jing Lu · 1 year, 4 months ago
  5. e8a21d8 rs_bindings_from_cc: Add a reproducer that `a_rust_library.empty_source_no_public_headers.h` cannot be found. by Jing Lu · 1 year, 4 months ago
  6. 5fd759b Handle member calls on unmodeled objects, e.g. temporaries. by Googler · 1 year, 4 months ago
  7. 47ee49b Integrate LLVM at llvm/llvm-project@b8a062061571 by Googler · 1 year, 4 months ago
  8. 95062ed Split PointerNullabilityDiagnostic Error Codes to produce more specific messages in findings by Googler · 1 year, 4 months ago
  9. c88c727 [nullability] Add `isSupportedRawPointerType()` and `isSupportedSmartPointerType()`. by Martin Brænne · 1 year, 4 months ago
  10. d0d3b48 [nullability] Add some basic tests for smart pointers. by Martin Brænne · 1 year, 4 months ago
  11. 8687b60 [nullability] Use the same mock headers for verification and inference. by Martin Brænne · 1 year, 4 months ago
  12. bfe4246 OSS build: Set up automatic bump of LLVM version. by Jing Lu · 1 year, 4 months ago
  13. f9d2456 Deduplicate CFGElement->CFGStmt->Stmt checks and accessors. by Googler · 1 year, 4 months ago
  14. c9fc6af Require that both sides of initialization/assignment are of supported types. by Googler · 1 year, 4 months ago
  15. f31700d Add more tests of evidence collection that already pass. by Googler · 1 year, 4 months ago
  16. ca74c79 Generalize support for const member functions by Googler · 1 year, 4 months ago
  17. 078aca0 rs_bindings_from_cc: Add test cases for importing multiple forward declarations. by Jing Lu · 1 year, 4 months ago
  18. f427c01 rs_bindings_from_cc: Add reproducer that a forward declaration in a namespace (in a header from a different target) precludes bindings for actual definition. by Jing Lu · 1 year, 4 months ago
  19. 7e7b9df importer_test.cc: Add test case for importing forward declarations. by Jing Lu · 1 year, 4 months ago
  20. 34e070d rs_bindings_from_cc: Add a reproducer that a forward declaration in a different target precludes bindings of actual definition. by Jing Lu · 1 year, 4 months ago
  21. 49c898c OSS build: Bump LLVM version. by Jing Lu · 1 year, 5 months ago
  22. 523b3fe Add benchmarking support for pointer nullability analysis. by Googler · 1 year, 5 months ago
  23. f040958 Integrate LLVM at llvm/llvm-project@bcb685e11945 by Jorge Gorbe Moya · 1 year, 5 months ago
  24. 8c2da70 Check whether targets are valid before collecting evidence in more cases. by Googler · 1 year, 5 months ago
  25. 2158294 Add more tests for constructor-related cases that we do or don't handle. by Googler · 1 year, 5 months ago
  26. 0b222ba Use previous inferences and inferable slot overrides when collecting evidence from binding a value to a type. by Googler · 1 year, 5 months ago
  27. fba1c43 rs_bindings_from_cc: Add `#[allow(unused_imports)]` to generated re-export statements. by Jing Lu · 1 year, 5 months ago
  28. 2030ad6 test case use_alias_doesnt_exist: Add `#allow(unused_imports)`. by Jing Lu · 1 year, 5 months ago
  29. e2ee60c Collect information from calls to constructors. by Googler · 1 year, 5 months ago
  30. 62c71a9 Set `using_internal_features` to false in Crubit's rustc_interface config. by Jing Lu · 1 year, 5 months ago
  31. 477b00d Collect evidence from assignments. by Googler · 1 year, 5 months ago
  32. 5560341 Simplify formula representations in `mergeFormulas`. by Googler · 1 year, 5 months ago
  33. 6cc904e [nullability] Add support for type alias nullability annotations in tests. by Martin Brænne · 1 year, 5 months ago
  34. 1f3b8da Stop trying to override the top level of an empty nullability vector. by Googler · 1 year, 5 months ago
  35. dab5664 [nullability] Use `proves()` and `assume()` instead of deprecated synonyms. by Martin Brænne · 1 year, 5 months ago
  36. 5392b47 Allow multiple iterations of inference in infer_tu[_main]. by Googler · 1 year, 5 months ago
  37. af5f0b0 [nullability] Eliminate redundant call to `getPointerNullState()`. by Martin Brænne · 1 year, 5 months ago
  38. af055c1 adapt for rustc API changes https://github.com/rust-lang/rust/commit/59f6f044f5228e039e1310b97f478c79aa745f35 by Krasimir Georgiev · 1 year, 5 months ago
  39. 3fb8858 adapt for rustc API changes https://github.com/rust-lang/rust/commit/c3fd4383fb6a49a4ad916809ccd0c26b0edfd299 by Krasimir Georgiev · 1 year, 5 months ago
  40. 3a36d88 rs_bindings_from_cc: Add a reproducer for template instantiation that involves a private type. by Jing Lu · 1 year, 5 months ago
  41. f5e6f8f [nullabiltiy] Use `proves()` and `assume()` instead of deprecated synonyms. by Martin Brænne · 1 year, 5 months ago
  42. 262ffc7 [nullability] Fix crash in `transferFlowSensitiveAccessorCall()`. by Martin Brænne · 1 year, 5 months ago
  43. 3f5afef [nullability] Small fixes to input code in tests. by Martin Brænne · 1 year, 5 months ago
  44. dd2a770 [nullability] Implement pointer widening. by Martin Brænne · 1 year, 5 months ago
  45. 3e1cd48 [nullability] Allow nullability properties to be "top". by Martin Brænne · 1 year, 5 months ago
  46. e1bc97c [nullability] Add clarifying comment. by Martin Brænne · 1 year, 5 months ago
  47. e9a51b5 Fix crash in member accessor code due to data member not being modeled by Googler · 1 year, 5 months ago
  48. 5cd318a [nullability] Add two tests that reproduce bugs with path-sensitive initialization. by Martin Brænne · 1 year, 5 months ago
  49. 874fa80 [nullability] New test: Calling a `noreturn` destructor is considered to terminate the program. by Martin Brænne · 1 year, 5 months ago
  50. 2c9f53f Use previous inference results in PointerNullabilityAnalysis. by Googler · 1 year, 5 months ago
  51. 50aba84 OSS build presubmit: Disable 'Rolling Bazel Version' build. by Jing Lu · 1 year, 5 months ago
  52. 31cc2d3 Return reference instead of pointer. by Googler · 1 year, 5 months ago
  53. 7191949 Compute the constraints on inferable slots used to compute other values' nullabilities once per function. by Googler · 1 year, 5 months ago
  54. e4d1f9f Update rules_rust usage to match https://github.com/bazelbuild/rules_rust/commit/cd3e53e9b8555543071ea109218baf41fc4b88f7. by Krasimir Georgiev · 1 year, 5 months ago
  55. 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
  56. 6acdc64 Store USR cache outside of EvidenceEmitter so that it can be shared in more places. by Googler · 1 year, 5 months ago
  57. f1f793d Wire previously inferred slot nullabilities into the generation of constraints for inferable slots. by Googler · 1 year, 5 months ago
  58. 0abff84 rs_bindings_from_cc: Expand make variables in user copts. by Jing Lu · 1 year, 5 months ago
  59. 0c72bf2 Add a fingerprinting function for our nullability slot representation. by Googler · 1 year, 5 months ago
  60. bcfef62 Handle accessors that directly return a pointer member variable by Googler · 1 year, 5 months ago
  61. 5753445 Integrate LLVM at llvm/llvm-project@f6f944e77f74 by Googler · 1 year, 5 months ago
  62. 45c2273 [nullability] Fix a test bug. by Martin Brænne · 1 year, 5 months ago
  63. 19840f6 Move test for string_view next to its implementation in crubit/support/cc_std/. by Jing Lu · 1 year, 5 months ago
  64. 3b354b0 [nullability] Add repro for false positive caused by inconsistent loop state. by Martin Brænne · 1 year, 5 months ago
  65. 563b90c Prune unneeded dependencies of `cc_bindings_from_rs`. by Lukasz Anforowicz · 1 year, 5 months ago
  66. 9b9716c Finally, move `bindings` to a separate crate. by Devin Jeanpierre · 1 year, 5 months ago
  67. d9d5edd Crubit OSS build presubmit: Bump the rust toolchain version. by Jing Lu · 1 year, 6 months ago
  68. 1397fc9 Crubit OSS build presubmit: Bump LLVM version and add `-Wno-missing-braces`. by Jing Lu · 1 year, 6 months ago
  69. fbc9765 Integrate LLVM at llvm/llvm-project@73f8ec9edb52 by Googler · 1 year, 6 months ago
  70. 2375c5b Move `cmdline` to a separate crate. by Devin Jeanpierre · 1 year, 6 months ago
  71. 0517597 Integrate LLVM at llvm/llvm-project@173fd67a124d by Googler · 1 year, 6 months ago
  72. 0b1e988 Move run_compiler and its testonly helper functions into separate crates. by Devin Jeanpierre · 1 year, 6 months ago
  73. f2e50e7 Prepare `CcBindingsFromRustInfo` for round-tripped interop. by Devin Jeanpierre · 1 year, 6 months ago
  74. 199d969 Allow multiple headers in `--bindings-from-dependency`. by Devin Jeanpierre · 1 year, 6 months ago
  75. 8c90fda Mark non-conflicting inferences made from existing annotations as trivial. by Googler · 1 year, 6 months ago
  76. 638ffa7 Google-internal change. by Jing Lu · 1 year, 6 months ago
  77. 61fda74 Google-internal change by Jing Lu · 1 year, 6 months ago
  78. 3b4ac68a [nullability][NFC] Add newline at end of aliases.cc. by Martin Brænne · 1 year, 6 months ago
  79. ac7c3fd s/other-crate-bindings/bindings-from-dependency/g by Devin Jeanpierre · 1 year, 6 months ago
  80. 241915d Fix bug: forward declarations didn't take namespaces into account. by Devin Jeanpierre · 1 year, 6 months ago
  81. 7ac3e67 Support specifying angular brackets for including Crubit support C++ library headers. by Jing Lu · 1 year, 6 months ago
  82. 4487593 Google-internal change. by Jing Lu · 1 year, 6 months ago
  83. ea4d790 [nullability] Add various tests for loops that mutate pointer variables. by Martin Brænne · 1 year, 6 months ago
  84. 9f1e3c7 OSS build presubmit: Disable 'Rolling Bazel Version' build. by Jing Lu · 1 year, 6 months ago
  85. 165ab33 Google-internal change. by Jing Lu · 1 year, 6 months ago
  86. 43114e8 Infer Nonnull parameters from the passing of an influenced value to a Nonnull parameter. by Googler · 1 year, 6 months ago
  87. 2b19e53 Remove unneccesarily-specific downcast in getPointerNullState. NFC by Sam McCall · 1 year, 6 months ago
  88. 7c0fffb Rename CallerSlotsUnknown to reflect the generic use of this function. by Googler · 1 year, 6 months ago
  89. a868026 Rework PointerNullState APIs by Sam McCall · 1 year, 6 months ago
  90. a68991e Google-internal change. by Jing Lu · 1 year, 6 months ago
  91. e0c2928 Adapt to `rustc_interface::interface::Config`'s newly-added `expanded_args` field. by Jing Lu · 1 year, 6 months ago
  92. 59cf9e6 `infer_tu_main -name-filter/-file-filter` limits analysis to interesting functions. by Sam McCall · 1 year, 6 months ago
  93. 259ed7e [nullability] Fix `ParenTypeInTemplate` test. by Martin Brænne · 1 year, 6 months ago
  94. 11028c6 update crubit for rustc API changes by Krasimir Georgiev · 1 year, 6 months ago
  95. b23bf3b Add SAT solver timeout to inference, and correctly report timeouts/errors. by Sam McCall · 1 year, 6 months ago
  96. 5f2bb24 Treat base->member as a dereference of base, for inference by Sam McCall · 1 year, 6 months ago
  97. 159f288 Integrate LLVM at llvm/llvm-project@bf8fd086d09c by Benjamin Kramer · 1 year, 6 months ago
  98. 02fae86 No public description by Jing Lu · 1 year, 6 months ago
  99. 9c3a562 Integrate LLVM at llvm/llvm-project@5bab59de4463 by Benjamin Kramer · 1 year, 6 months ago
  100. 6604531 Don't collect evidence for functions which are not inference targets. by Googler · 1 year, 6 months ago