bazel /
crubit /
5a7b052a733cbd11f8e8a41ae0c7d6d1210214d4 - 5a7b052 Add .md extension name in docs' link to make GitHub happy by Googler · 2 years, 7 months ago
- a04d2c1 Add support for generating bindings for C++ protobufs by Marcel Hlopko · 2 years, 7 months ago
- acdf556 Assume disabled layering check when generating bindings by Marcel Hlopko · 2 years, 7 months ago
- ed9efd8 Add a description about how to run individual rust tests in README.md by Kinuko Yasuda · 2 years, 7 months ago
- 54b75d7 Update record.size when the original size in C++ isn't aligned (while alignment is given) by Kinuko Yasuda · 2 years, 7 months ago
- 05dd656 Allow for entire targets to be stripped from bindings. by Devin Jeanpierre · 2 years, 7 months ago
- 5bde56f Implement bindings from unary `operator-` and `operator!` to `Neg` and `Not`. by Michael VanBemmel · 2 years, 7 months ago
- ccb6767 Generate bindings for abstract classes. by Devin Jeanpierre · 2 years, 8 months ago
- 8dd8464 Import typedef'ed anonymous C unions/structs by Kinuko Yasuda · 2 years, 8 months ago
- 1f9fc2e Generate constraints caused by initialization and assignment. by Luca Versari · 2 years, 8 months ago
- e467287 Add golden from the bug description for b/242687817. by Devin Jeanpierre · 2 years, 8 months ago
- a99e0a3 Don't generate functions which accept/return by value if a class has no public destructor. by Devin Jeanpierre · 2 years, 8 months ago
- abf4f3e Update internal links in rs_bindings_from_cc/README.md by Kinuko Yasuda · 2 years, 8 months ago
- 6ff59f1 Make sure structs/unions that have non-unpin fields don't implement Copy by Kinuko Yasuda · 2 years, 8 months ago
- a5bb7b1 Add a test showing crubit generates bindings correctly when `includes` attribute by Marcel Hlopko · 2 years, 8 months ago
- 8374c8f Refactoring to separate the logic bridging expressions with values, and the logic for nullability on pointer values to increase reusability of each piece of logic. by Wei Yi Tee · 2 years, 8 months ago
- 721ee97 Set the null state of a PointerValue at a control flow join based on the nullability information from each incoming path. by Wei Yi Tee · 2 years, 8 months ago
- b75caf0 Fix pointer_nullability_verification_test by Marcel Hlopko · 2 years, 8 months ago
- 6bb8180 Use non-elided lifetimes when a synthesized RvalueReference is captured. by Devin Jeanpierre · 2 years, 8 months ago
- 4e94a08 Use id-less lifetimes exclusively within src_code_gen.rs, so that we can make up new lifetime names (not just the elided lifetime name). by Devin Jeanpierre · 2 years, 8 months ago
- 6c41aed Remove use of backtrace. by Devin Jeanpierre · 2 years, 8 months ago
- e971ed7 De-`Elaborate` AST nodes even earlier. by Devin Jeanpierre · 2 years, 8 months ago
- 403e83d Desugar template parameters, so that they get stringified correctly. by Devin Jeanpierre · 2 years, 8 months ago
- 8122285 Add LifetimeConstraints to the lattice. by Luca Versari · 2 years, 8 months ago
- 7003909 Partial and hacky fix for ElaboratedType-related errors. by Devin Jeanpierre · 2 years, 8 months ago
- 8e54c2f Use a `mov!` macro, and delete the `Move<P>` type. (Same for "const moves".) by Devin Jeanpierre · 2 years, 8 months ago
- 5014b3e Move operator metadata out of the Salsa database. by Michael VanBemmel · 2 years, 8 months ago
- 32c26df Generalize operator support to include binary arithmetic and bitwise operators. by Michael VanBemmel · 2 years, 8 months ago
- f665130 Implement bindings from `operator+=` to `AddAssign`. by Michael VanBemmel · 2 years, 8 months ago
- cdba619 add a CcInfo provider by Googler · 2 years, 8 months ago
- c3b6755 Integrate LLVM at llvm/llvm-project@ea460b7ddb8a by Googler · 2 years, 8 months ago
- ae43f39 Initialise unannotated pointers with unknown nullability. by Wei Yi Tee · 2 years, 8 months ago
- f5e8e57 Implement parsing of nullability annotations to initialise the null state of PointerValues. by Wei Yi Tee · 2 years, 8 months ago
- 76ebe3d Refactor `pointer_nullability_verification_test.cc` - add comments, categorise and remove redundant test cases. by Wei Yi Tee · 2 years, 8 months ago
- 178ce53 Remove unused PointerNullabilityLattice, replace with NoopLattice. by Wei Yi Tee · 2 years, 8 months ago
- 8b58e19 Separate analysis and diagnosis components for pointer nullability verification. by Wei Yi Tee · 2 years, 8 months ago
- 06f0696 Add "is_known" synthetic property to null state of PointerValue. by Wei Yi Tee · 2 years, 8 months ago
- ecb2bd8 Update formalisation of transfer functions: by Wei Yi Tee · 2 years, 8 months ago
- c46666a Use synthetic properties on PointerValue to track null state of pointers, instead of tracking in the lattice. by Wei Yi Tee · 2 years, 8 months ago
- e5f66ad Add link in lifetime_analysis's README to the docs. by Luca Versari · 2 years, 8 months ago
- 57840f3 Remove internal files. by Luca Versari · 2 years, 8 months ago
- 93927e8 Unify non-Unpin constructor and non-constructor function handling. by Devin Jeanpierre · 2 years, 8 months ago
- f5013fb Move function signature handling to a separate function. by Devin Jeanpierre · 2 years, 8 months ago
- 8eb3260 Cleanup: delete `maybe_first_api_param`, use `param_types.get(0)` instead. by Devin Jeanpierre · 2 years, 8 months ago
- 2b1e46d When a trait has a nontrivial parameter, materialize it in the caller. by Devin Jeanpierre · 2 years, 8 months ago
- 7ed8c6f Allow for elided lifetimes in an `RsTypeKind`, so that you can create new reference types / lifetimes that didn't come from C++. by Devin Jeanpierre · 2 years, 8 months ago
- a04bce1 `trait_generic_params: TokenStream` ⟶ `trait_lifetime_params: Vec<TokenStream>`. by Devin Jeanpierre · 2 years, 8 months ago
- 7537498 Clarify crubit design documentation by Googler · 2 years, 8 months ago
- 4eb66dc Add a link to "sidecar strategy" by Googler · 2 years, 8 months ago
- 3723fec Add tests for operator+ as a friend function. by Michael VanBemmel · 2 years, 8 months ago
- 7a4d4c0 Represent friend functions in IR. by Michael VanBemmel · 2 years, 8 months ago
- 56fda1c Crash if our hardcoded function IDs fail to parse. by Devin Jeanpierre · 2 years, 8 months ago
- 11ce2b9 Implement non-`Unpin` function parameters for non-trait functions/methods. by Devin Jeanpierre · 2 years, 8 months ago
- 521b4ee Implement C++17 guaranteed copy elision for return values. by Devin Jeanpierre · 2 years, 8 months ago
- e9be70a Only emit a C++ thunk if there was Rust code generated for the same function. by Devin Jeanpierre · 2 years, 8 months ago
- ce54920 `PtrEq<Rc<T>>` ⟶ `RcEq<T>`. by Devin Jeanpierre · 2 years, 8 months ago
- 9f55817 Remove creation of PointerValue for `nullptr`. by Wei Yi Tee · 2 years, 8 months ago
- e986673 Allow either order of `derive(CtorFrom_Default)` / `#[recursively_pinned]`. by Devin Jeanpierre · 2 years, 8 months ago
- d6f3e2a Prevent the direct creation of non-Unpin structs, without the `ctor!()` macro. by Devin Jeanpierre · 2 years, 8 months ago
- cfd8d4a Fix TODO that was made obsolete by unknown commit. by Devin Jeanpierre · 2 years, 8 months ago
- 57ddcf9 Migrate Clang tools to a std-compatible interface of llvm::Optional by Dmitri Gribenko · 2 years, 8 months ago
- 83eca6b Implement operator+ for free functions. by Michael VanBemmel · 2 years, 8 months ago
- e050f89 Implement older TODO for constructors for nontrivial objects. by Devin Jeanpierre · 2 years, 8 months ago
- 6f80403 Delete obsolete TODO. by Devin Jeanpierre · 2 years, 8 months ago
- 5d5ca7a Migrate TODOs about `use std::pin::Pin` to a new bug. by Devin Jeanpierre · 2 years, 8 months ago
- e7d7ddd Use `llvm::report_fatal_error` instead of `CRUBIT_CHECK(false && ...)`. by Lukasz Anforowicz · 2 years, 8 months ago
- cc61dad Mark classes as `final` in the tests and goldens. by Devin Jeanpierre · 2 years, 8 months ago
- c4fa436 Move subexpressions into separate assertions. by Wei Yi Tee · 2 years, 8 months ago
- 2994238 Design transfer functions and safety criteria with an SMT solver by Dmitri Gribenko · 2 years, 9 months ago
- f858b52 Test an overloaded operator+ which returns a nontrivial type by value. by Devin Jeanpierre · 2 years, 9 months ago
- 83cb2dc Work around Rust's impl/lifetime system using a `Captures` trait. by Devin Jeanpierre · 2 years, 9 months ago
- fd4ff82 Apply return type modifications to trait associated return types. by Devin Jeanpierre · 2 years, 9 months ago
- d9b0ad4 Dereference past the inherent `anyhow::Error::backtrace` function added in some builds. by Devin Jeanpierre · 2 years, 9 months ago
- 1b58144 Introduce crubit::ReportFatalError function. by Lukasz Anforowicz · 2 years, 9 months ago
- 79ff8a3 Remove non-existend mirror url for rules_rust by Marcel Hlopko · 2 years, 9 months ago
- 07b3390 Use `T*` instead of `T&` as type of thunk parameters. by Lukasz Anforowicz · 2 years, 9 months ago
- 742df6c Remove `Deref` impl for `arc_anyhow::Error`. by Devin Jeanpierre · 2 years, 9 months ago
- d0d6a2e Introduce crubit::ReportFatalError function. by Lukasz Anforowicz · 2 years, 9 months ago
- b8ce2c1 Return `!Unpin` objects by value. by Devin Jeanpierre · 2 years, 9 months ago
- b9ddc45 Adding missing `#[test]` attribute to `test_repeating_parameter_type`. by Lukasz Anforowicz · 2 years, 9 months ago
- 106f66c Map `operator+` to `Add` trait. by Michael VanBemmel · 2 years, 9 months ago
- f3194dc Use `Arc<anyhow::Error>` instead of `Arc<dyn ...>`. by Devin Jeanpierre · 2 years, 9 months ago
- 3a0cc5a Make `salsa_utils::SalsaResult` (now `arc_anyhow::Result`) the common result type. by Devin Jeanpierre · 2 years, 9 months ago
- d4742ff Avoid `struct SomeClass` in `..._rs_api_impl.cc`. by Lukasz Anforowicz · 2 years, 9 months ago
- 8fbc939 Use `final` for template tests. by Devin Jeanpierre · 2 years, 9 months ago
- 20fbe33 Replace nontrivial unsupported goldens. by Devin Jeanpierre · 2 years, 9 months ago
- cd5ebf3 Use `::foo` for crate dependencies, instead of `foo`. by Devin Jeanpierre · 2 years, 9 months ago
- 91c81a9 Correctly format `::` and `:` in generated Rust code. by Devin Jeanpierre · 2 years, 9 months ago
- 6793691 Refresh Cargo.Bazel.lock by Marcel Hlopko · 2 years, 9 months ago
- b977a3c Un-delete copy/move constructors from nontrivial types in goldens. by Devin Jeanpierre · 2 years, 9 months ago
- 84aeda4 Use Rust nightly in the Bazel build by Marcel Hlopko · 2 years, 9 months ago
- 6762a03 Bump rules_rust version by Marcel Hlopko · 2 years, 9 months ago
- 30a2806 Bump LLVM version in the Bazel build by Marcel Hlopko · 2 years, 9 months ago
- 668f534 Enable "rc" feature for Serde in the Bazel build by Marcel Hlopko · 2 years, 9 months ago
- 65764e3 Refresh Cargo.Bazel.lock by Marcel Hlopko · 2 years, 9 months ago
- 3a95e02 Add salsa dependency to our Bazel build by Marcel Hlopko · 2 years, 9 months ago
- b4d1778 s/ assert_not_impl_all / assert_not_impl_any /g by Lukasz Anforowicz · 2 years, 9 months ago
- 45b0196 Use `&Database`, not `&mut Database`. by Devin Jeanpierre · 2 years, 9 months ago
- 409f6f6 Convert `RsTypeKind` creation into a Salsa query. by Devin Jeanpierre · 2 years, 9 months ago
- b2b6cf8 Convert RsTypeKind to a cheaply-clonable type with `Rc` inside. by Devin Jeanpierre · 2 years, 9 months ago