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