1. 802fea1 [nullability] Remove `Strict` suffix when calling `Environment` accessors. by Martin Brænne · 1 year, 8 months ago
  2. 717a186 Annotate intentional use-after-move operations by Dmitri Gribenko · 1 year, 8 months ago
  3. 1cd5386 Reenable the class_templates test by disabling the specific failing test cases by Dmitri Gribenko · 1 year, 8 months ago
  4. a6c5d73 Use a class instead of a struct and appropriate member variable naming according to the style guide by Dmitri Gribenko · 1 year, 8 months ago
  5. 742c4c3 Include what you spell, miscellaneous ClangTidy fixes by Dmitri Gribenko · 1 year, 8 months ago
  6. 620d019 [nullability] Use `getValue()` instead of `getValueStrict()`. by Martin Brænne · 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. 6b84d33 Fix a broken link by Dmitri Gribenko · 1 year, 8 months ago
  9. 7f14fb5 Include what you spell by Dmitri Gribenko · 1 year, 8 months ago
  10. dac4d43 Include what you spell by Dmitri Gribenko · 1 year, 8 months ago
  11. edd9904 Include what you spell by Dmitri Gribenko · 1 year, 8 months ago
  12. 55ffa64 Include what you spell by Dmitri Gribenko · 1 year, 8 months ago
  13. 0643c65 Include what you spell by Dmitri Gribenko · 1 year, 8 months ago
  14. bbf3734 Include what you spell by Dmitri Gribenko · 1 year, 8 months ago
  15. caa102f cleanup: format the WORKSPACE file by Googler · 1 year, 8 months ago
  16. 1d9a0ce Suppress noisy pointer_nullability_analysis logging by default. by Sam McCall · 1 year, 8 months ago
  17. 915da3d Crubit OSS: Try building cc_bindings_from_rs_test: Use OSS version of the dependencies. by Jing Lu · 1 year, 8 months ago
  18. 04f9f5c Crubit OSS: Try building cc_bindings_from_rs_test: Add necessary dependencies to WORKSPACE. by Jing Lu · 1 year, 8 months ago
  19. 074397e OSS: Bump the rustc version to nightly/2023-07-07. Add cc_bindings_from_rs to the list of buildable targets. by Jing Lu · 1 year, 8 months ago
  20. d476b75 Crubit OSS: Don't add `//common:rust_allocator_shims` to `deps` of targets, add it as `rust_toolchain.allocator_library`. by Jing Lu · 1 year, 8 months ago
  21. 41dd61d cc_bindings_from_rs: adapt for rustc API changes by Googler · 1 year, 8 months ago
  22. 248b7f0 [nullability] Eliminate check for `ReferenceValue`. by Martin Brænne · 1 year, 8 months ago
  23. 53b27fb Automatic code cleanup. by Nevena Kotlaja · 1 year, 8 months ago
  24. 0944564 Handle generating `=delete`d bindings inside `format_..._ctor...`. by Lukasz Anforowicz · 1 year, 8 months ago
  25. 3d4cefa Internal change by Jing Lu · 1 year, 8 months ago
  26. 25d207a Refactor `ReturnValueSlot.Test` to avoid reading destroyed objects. by Lukasz Anforowicz · 1 year, 8 months ago
  27. 2e9a797 Access correct arguments for CXXOperatorCallExprs when collecting nullability evidence. by Googler · 1 year, 8 months ago
  28. f8ec9d5 Support for `Drop` without `Default`. by Lukasz Anforowicz · 1 year, 8 months ago
  29. 1abee2b Add a reproducer for 'cross crate' binding where 'the other crate' is from the Rust toolchain. by Jing Lu · 1 year, 8 months ago
  30. ad4cd43 Avoid extra includes for thunk decls with non-C-ABI-compatible return types. by Lukasz Anforowicz · 1 year, 8 months ago
  31. 3d9adbe In pointer nullability diagnosis, distinguish different kinds of diagnostics. by Googler · 1 year, 8 months ago
  32. 68f5b5c [nullability] Create `Value`s for pointer prvalues if the framework doesn't. by Martin Brænne · 1 year, 8 months ago
  33. df70bf7 Google-internal change. by Jing Lu · 1 year, 8 months ago
  34. b9d0969 Infer nullability of return type from evidence. by Googler · 1 year, 8 months ago
  35. dba6897 Avoid crashes in inference: by Sam McCall · 1 year, 8 months ago
  36. 629040a Internal change by Sam McCall · 1 year, 8 months ago
  37. 3e3ae48 Collect evidence for return type from return statements. by Googler · 1 year, 8 months ago
  38. cf1c365 Merge mandatory inference rules and report conflicts. by Googler · 1 year, 8 months ago
  39. cfd2dd1 Record locations of evidence. by Sam McCall · 1 year, 8 months ago
  40. f6e26d6 Library and tool to run inference on a single TU in-process by Sam McCall · 1 year, 8 months ago
  41. e644e1d All nullability vectors can now store symbolic nullability by Sam McCall · 1 year, 8 months ago
  42. 5e03424 Infer Nullable when >=1 Nullable argument is passed and Nonnull when only Nonnull arguments are passed. by Googler · 1 year, 8 months ago
  43. e1504a6 Collect evidence for function parameters from observed call sites. by Googler · 1 year, 8 months ago
  44. fa27ea7 Introduce a separate `fn format_move_ctor_and_assignment_operator`. by Lukasz Anforowicz · 1 year, 8 months ago
  45. 811a892 Only keep `is_trivially_foo` asserts. by Lukasz Anforowicz · 1 year, 8 months ago
  46. fd0e2dc Use clap v4.1.8 for Crubit. by Jing Lu · 1 year, 8 months ago
  47. ba67ca7 Bump the version of rules_rust to v0.25.1. by Jing Lu · 1 year, 8 months ago
  48. 83caf0c In OSS build, use `crubit_rust_test` as a wrapper of `rust_test`; use `crubit_cc_test` as a wrapper for `cc_test`. by Jing Lu · 1 year, 8 months ago
  49. 1cf79e4 Don't override nullability for params that already have annotations. by Googler · 1 year, 8 months ago
  50. 1a55cfb Update last references to is_known to from_nullable. by Googler · 1 year, 8 months ago
  51. 1af66fd Define merge of Evidence -> Inference, with serializable partials for combine by Sam McCall · 1 year, 8 months ago
  52. 83bc55c Changes to Evidence proto for aggregation and debugging by Sam McCall · 1 year, 8 months ago
  53. 3241e2e OSS build: remove `parse_tests` attribute of `bzl_library`. by Jing Lu · 1 year, 8 months ago
  54. 50f917e Fix ClangTidy warnings, mark intentionally-nontrivial functions as such by Dmitri Gribenko · 1 year, 8 months ago
  55. c003cbd Replace is_known property with from_nullable by Sam McCall · 1 year, 8 months ago
  56. 61645e1 Fix ClangTidy issues by Dmitri Gribenko · 1 year, 8 months ago
  57. 37e1942 Use `CHECK_OK` where possible, include what you spell by Dmitri Gribenko · 1 year, 8 months ago
  58. 5be6275 Update the parameter name in a callsite comment by Dmitri Gribenko · 1 year, 8 months ago
  59. cb0dac3 Add a missing 'override' by Dmitri Gribenko · 1 year, 8 months ago
  60. 9c27848 Use container-based `absl::c_distance` by Dmitri Gribenko · 1 year, 8 months ago
  61. c47b1f3 Add the from_nullable/is_null representation of nullability to the formal model by Dmitri Gribenko · 1 year, 8 months ago
  62. 7b1c2fe Fix ClangTidy warning: by Dmitri Gribenko · 1 year, 8 months ago
  63. f8a1f75 Refactoring: Separate `destructor_snippets` and `move_..._snippets`. by Lukasz Anforowicz · 1 year, 9 months ago
  64. 8531e0c Gracefully handle errors from `tcx.get_diagnostic_item(...)`. by Lukasz Anforowicz · 1 year, 9 months ago
  65. 12c8f3f Bindings for Rust types with custom `Drop` or "drop glue". by Lukasz Anforowicz · 1 year, 9 months ago
  66. 296d070 Walk over an AST to work out where we should run inference. by Sam McCall · 1 year, 9 months ago
  67. ebcc123 Make collectEvidence callback based, cache USR, API tweaks by Sam McCall · 1 year, 9 months ago
  68. 1bcd013 Include what you spell by Dmitri Gribenko · 1 year, 9 months ago
  69. 82c4c4e Bump Abseil to current HEAD by Dmitri Gribenko · 1 year, 9 months ago
  70. 785831e Fix ClangTidy warnings, include what you spell by Dmitri Gribenko · 1 year, 9 months ago
  71. dd2ed2e Google-internal change. by Jing Lu · 1 year, 9 months ago
  72. bd1a6e5 Gather inference evidence from function signatures. by Sam McCall · 1 year, 9 months ago
  73. e9210aa Collect nullability Evidence for function parameters from dereferences. by Googler · 1 year, 9 months ago
  74. 113194c Remove safety constraint generalization. by Googler · 1 year, 9 months ago
  75. 76360a5 Internal change by Jing Lu · 1 year, 9 months ago
  76. 19494ca Refactoring: Replace `match` with `Result::map` + `Result::unwrap_or`. by Lukasz Anforowicz · 1 year, 9 months ago
  77. 9b62a40 Migrate off deprecated dataflow APIs by Sam McCall · 1 year, 9 months ago
  78. 2352256 #rust-crubit #docu Fix typo `--output_group` --> `--output_groups` by Googler · 1 year, 9 months ago
  79. 0046e0e Add rest of protos to represent inference intermediates and results by Sam McCall · 1 year, 9 months ago
  80. 2d1e1c3 [nullability] Fix crash when merging glvalues of pointer type. by Martin Brænne · 1 year, 9 months ago
  81. 9176484 Fix typo: offsite => offset by Dmitri Gribenko · 1 year, 9 months ago
  82. eb697e5 Also use field size as a tie-breaker for same-offset fields. by Augie Fackler · 1 year, 9 months ago
  83. 390ffa2 [rs_bindings_from_cc] Avoid copying `ValueLifetimes` when converting types. by Martin Brænne · 1 year, 9 months ago
  84. 83bda99 [rs_bindings_from_cc] Use `FunctionLifetimes` when converting function types. by Martin Brænne · 1 year, 9 months ago
  85. 3848950 Mark `SomeStruct` which is passed across FFI boundary as `#[repr(C)]` by Jing Lu · 1 year, 9 months ago
  86. 6d9048d Refactor ReturnValueSlot to be a class instead of a union by Dmitri Gribenko · 1 year, 9 months ago
  87. 6229471 Clarify that AssumeInitAndTakeValue leaves the object in uninitialized state. by Dmitri Gribenko · 1 year, 9 months ago
  88. 5e657bd Use a 1-arg static_assert since we already use it elsewhere by Dmitri Gribenko · 1 year, 9 months ago
  89. a7f2dc4 Fix comment on the move constructor of `ReturnValueSlot` by Dmitri Gribenko · 1 year, 9 months ago
  90. 976526c Fix and clarify comments on ReturnValueSlot by Dmitri Gribenko · 1 year, 9 months ago
  91. 66c7d22 Add an extra assertion and clarify comments by Dmitri Gribenko · 1 year, 9 months ago
  92. ecf5db3 Add missing includes by Dmitri Gribenko · 1 year, 9 months ago
  93. a087d23 Add/remove header files (include what you spell) by Dmitri Gribenko · 1 year, 9 months ago
  94. e7f40dc Remove unused includes by Dmitri Gribenko · 1 year, 9 months ago
  95. 7b0a9d1 [lifetime_analysis][NFC] Replace "initialized object" with "result object". by Martin Brænne · 1 year, 9 months ago
  96. 000ac50 Add missing includes by Dmitri Gribenko · 1 year, 9 months ago
  97. 886a675 Fully-qualify names used in macros by Dmitri Gribenko · 1 year, 9 months ago
  98. 01568e8 Mark functions defined in a header with `inline` by Dmitri Gribenko · 1 year, 9 months ago
  99. efc8664 Remove `THIRD_PARTY` from header guards by Dmitri Gribenko · 1 year, 9 months ago
  100. 594bf45 Move the `#include` inside include guards by Dmitri Gribenko · 1 year, 9 months ago