Commits

Breadcrumbs

History for

on0235df8

User selector

All users

All time

Commit History

Commits on Apr 15, 2026

• Merge pull request #21596 from hvitved/rust/data-flow-closure-type

  Show description for 0694319
  hvitved

  authored
  0694319

  Copy full SHA for 0694319

Commits on Apr 10, 2026

• Rust: Replace recursion through `forall` with ranked recursion

  hvitved

  committed
  be329c8

  Copy full SHA for be329c8

• Rust: Add another type inference test

  hvitved

  committed
  42fe2d5

  Copy full SHA for 42fe2d5

Commits on Apr 9, 2026

• Rust: Track closure types in data flow

  hvitved

  committed
  23f0810

  Copy full SHA for 23f0810

• Rust: Add more closure flow tests

  hvitved

  committed
  3fa5c95

  Copy full SHA for 3fa5c95

Commits on Mar 27, 2026

• Rust: Infer argument types based on trait bounds on parameters

  hvitved

  committed
  6dc98cf

  Copy full SHA for 6dc98cf

Commits on Mar 26, 2026

• Rust: More type inference tests

  hvitved

  committed
  b8a8a16

  Copy full SHA for b8a8a16

Commits on Mar 25, 2026

• Rust: Take additional type parameter constraints into account

  hvitved

  committed
  6295f57

  Copy full SHA for 6295f57

Commits on Mar 24, 2026

• Rust: Type inference test

  hvitved

  committed
  ddc4072

  Copy full SHA for ddc4072

• Merge pull request #21475 from owen-mc/rust/mad-barriers

  Show description for fd8821f
  owen-mc

  authored
  fd8821f

  Copy full SHA for fd8821f

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 19, 2026

• Rust: Disambiguate types inferred from trait bounds

  hvitved

  committed
  7fc1d53

  Copy full SHA for 7fc1d53

Commits on Mar 18, 2026

• Rust: Refine `AssociatedTypeTypeParameter.toString`

  hvitved

  committed
  e8e46ac

  Copy full SHA for e8e46ac

• Rust: Add type inference test

  hvitved

  committed
  082dc61

  Copy full SHA for 082dc61

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