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