Commits

Breadcrumbs

History for

onbde9378

User selector

All users

All time

Commit History

Commits on Mar 20, 2026

• Update MaD barrier guard test output

  owen-mc

  committed
  bde9378

  Copy full SHA for bde9378

• Add MaD barrier guard model to make test pass

  owen-mc

  committed
  77cb353

  Copy full SHA for 77cb353

• Add (failing) test for MaD barrier guard

  owen-mc

  committed
  c5457d3

  Copy full SHA for c5457d3

• Add test for MaD barriers

  owen-mc

  committed
  93c6560

  Copy full SHA for 93c6560

Commits on Mar 13, 2026

• Address review comments

  hvitved

  committed
  ca2838b

  Copy full SHA for ca2838b

• Rust: Add test for free function with context-based typing

  hvitved

  committed
  7a6ab70

  Copy full SHA for 7a6ab70

Commits on Mar 12, 2026

• Rust: Unify type inference logic for associated functions

  hvitved

  committed
  1b6f3a4

  Copy full SHA for 1b6f3a4

• Rust: Add more type inference tests

  hvitved

  committed
  ca7017f

  Copy full SHA for ca7017f

Commits on Mar 6, 2026

• Merge pull request #21375 from geoffw0/mapfix

  Show description for fd7093e
  geoffw0

  authored
  fd7093e

  Copy full SHA for fd7093e

• Merge pull request #21420 from hvitved/rust/type-inference-qualified-trait-arg-path

  Show description for 84bef5d
  hvitved

  authored
  84bef5d

  Copy full SHA for 84bef5d

Commits on Mar 5, 2026

• Rust: More conservative resolution of `<Foo as Bar<...>>` paths

  hvitved

  committed
  ff41917

  Copy full SHA for ff41917

• Rust: Add type inference test

  hvitved

  committed
  838f3b9

  Copy full SHA for 838f3b9

• Merge pull request #21405 from owen-mc/java/consistent-inline-expectation-tests

  Show description for 926725a
  owen-mc

  authored
  926725a

  Copy full SHA for 926725a

Commits on Mar 4, 2026

• Remove double space after $ in inline expectations tests

  owen-mc

  committed
  aa28c94

  Copy full SHA for aa28c94

• Merge branch 'main' into mapfix

  geoffw0

  authored
  370c515

  Copy full SHA for 370c515

• Rust: Update `AccessAfterLifetime` query to use `FeatureEscapesSourceCallContextOrEqualSourceSinkCallContext`

  hvitved

  committed
  18d2f58

  Copy full SHA for 18d2f58

Commits on Mar 3, 2026

• Rust: Update the models.

  geoffw0

  committed
  bb5bfda

  Copy full SHA for bb5bfda

Commits on Feb 26, 2026

• Rust: Accept consistency check changes from CI.

  geoffw0

  committed
  062fbf2

  Copy full SHA for 062fbf2

• Merge pull request #21366 from hvitved/rust/type-inference-unify-method-resolution

  Show description for 4280d35
  hvitved

  authored
  4280d35

  Copy full SHA for 4280d35

• Rust: Simplify with the Copilot suggestions.

  geoffw0

  committed
  ec0b90f

  Copy full SHA for ec0b90f

• Rust: Accept consistency check changes.

  geoffw0

  committed
  96a06be

  Copy full SHA for 96a06be

• Rust: Make the manual model for Option::map more accurate.

  geoffw0

  committed
  78f855d

  Copy full SHA for 78f855d

• Rust: Add neutral models of From::from (corresponding with existing generated sink models).

  geoffw0

  committed
  75fea42

  Copy full SHA for 75fea42

• Rust: Add a manual model for flow through Option::map.

  geoffw0

  committed
  5c108e5

  Copy full SHA for 5c108e5

• Rust: Add a neutral model of Option::map (so that we don't use the generated models).

  geoffw0

  committed
  53e8863

  Copy full SHA for 53e8863

Commits on Feb 25, 2026

• Rust: Add test cases for log injection + uncontrolled allocation size with from.

  geoffw0

  committed
  97f7a26

  Copy full SHA for 97f7a26

• Merge pull request #21271 from geoffw0/neutralmodels

  Show description for 5523b5e
  geoffw0

  authored
  5523b5e

  Copy full SHA for 5523b5e

• Rust: Add test cases for log injection with map.

  geoffw0

  committed
  1213369

  Copy full SHA for 1213369

• Rust: Unify logic in `MethodResolution`; remove `TypeQualifierIsInstantiationOfImplSelf` logic

  hvitved

  committed
  de9b1ad

  Copy full SHA for de9b1ad

• Merge pull request #21333 from hvitved/rust/type-inference-restrict-receiver-type-propagation

  Show description for 018674c
  hvitved

  authored
  018674c

  Copy full SHA for 018674c

Commits on Feb 24, 2026

• Address review comments

  hvitved

  committed
  f9869da

  Copy full SHA for f9869da

• Rust: Add another type inference test

  hvitved

  committed
  61d809b

  Copy full SHA for 61d809b

Commits on Feb 17, 2026

• Rust: Restrict type propagation into receivers

  hvitved

  committed
  e587541

  Copy full SHA for e587541

• Rust: Add type inference test

  hvitved

  committed
  8a051d7

  Copy full SHA for 8a051d7

• Rust: Make path resolution robust against invalid code with conflicting declarations

  hvitved

  committed
  d3541b8

  Copy full SHA for d3541b8