Commits

Breadcrumbs

History for

on7bdf2ab

User selector

All users

All time

Commit History

Commits on Jan 23, 2026

• Rust: Fix typo

  Show description for 8f6f7d0
  

  paldepind

  and

  Copilot

  authored
  8f6f7d0

  Copy full SHA for 8f6f7d0

• Rust: Add tests for `Self` constructors

  paldepind

  committed
  3d70492

  Copy full SHA for 3d70492

Commits on Jan 22, 2026

• Merge pull request #21151 from hvitved/rust/disable-universal-conds-by-default

  Show description for 8ce2618
  hvitved

  authored
  8ce2618

  Copy full SHA for 8ce2618

• Type inference: Disable universal conditions

  hvitved

  committed
  65ca884

  Copy full SHA for 65ca884

Commits on Jan 21, 2026

• Merge pull request #21168 from hvitved/rust/type-inference-remove-blanket-constraint-restriction

  Show description for 9a9e9ac
  hvitved

  authored
  9a9e9ac

  Copy full SHA for 9a9e9ac

Commits on Jan 19, 2026

• Rust: Remove restriction that blanket(-like) impls must have a constraint

  hvitved

  committed
  fd309d6

  Copy full SHA for fd309d6

Commits on Jan 16, 2026

• Rust: Improve type inference for closures and function traits

  paldepind

  committed
  dabc5d5

  Copy full SHA for dabc5d5

Commits on Jan 15, 2026

• Rust: Add type inference tests for closures and function traits

  paldepind

  committed
  196f6e1

  Copy full SHA for 196f6e1

Commits on Jan 14, 2026

• Rust: Accept changes to expected files

  paldepind

  committed
  ca3e2db

  Copy full SHA for ca3e2db

• Rust: Associated types are inherited as type parameters by traits and dyn traits

  paldepind

  committed
  a19ad5e

  Copy full SHA for a19ad5e

• Rust: Add additional tests for associated types

  paldepind

  committed
  6219354

  Copy full SHA for 6219354

• Rust: Tweak tests for associated types

  paldepind

  committed
  fd5658d

  Copy full SHA for fd5658d

• Rust: Move associated types tests into separate file

  paldepind

  committed
  e0c36c7

  Copy full SHA for e0c36c7

• Merge pull request #21148 from hvitved/rust/remove-macro-block-expr

  Show description for cc4926a
  hvitved

  authored
  cc4926a

  Copy full SHA for cc4926a

Commits on Jan 13, 2026

• Rust: Regenerate models

  paldepind

  committed
  da43e8c

  Copy full SHA for da43e8c

• Merge pull request #21153 from geoffw0/splitoff

  Show description for 69de17e
  geoffw0

  authored
  69de17e

  Copy full SHA for 69de17e

• Rust: Update expected test output

  hvitved

  committed
  5d5bad6

  Copy full SHA for 5d5bad6

• Rust: Run codegen

  hvitved

  committed
  3eafca0

  Copy full SHA for 3eafca0

Commits on Jan 12, 2026

• Rust: Move everything type inference related into the typeinference directory

  paldepind

  committed
  9e74a78

  Copy full SHA for 9e74a78

• Merge branch 'main' into splitoff

  geoffw0

  committed
  a78756f

  Copy full SHA for a78756f

• Rust: Add a barrier.

  geoffw0

  committed
  479c58b

  Copy full SHA for 479c58b

• Rust: Add spurious test case for rust/uncontrolled-allocation-size.

  geoffw0

  committed
  7658ebb

  Copy full SHA for 7658ebb

• Rust: Add missing `.Reference` in various models

  hvitved

  committed
  17441a5

  Copy full SHA for 17441a5

• Merge pull request #21123 from hvitved/rust/fix-path-models

  Show description for 6b34d0d
  hvitved

  authored
  6b34d0d

  Copy full SHA for 6b34d0d

Commits on Jan 9, 2026

• Rust: Make function trait syntax without return type default to unit

  paldepind

  committed
  41921a8

  Copy full SHA for 41921a8

• Rust: Add test with fn trait syntax without return type

  paldepind

  committed
  d452696

  Copy full SHA for d452696

• Rust: Update expected test output

  hvitved

  committed
  f3d78a4

  Copy full SHA for f3d78a4

• Rust: Update expected test output

  hvitved

  committed
  0d0029f

  Copy full SHA for 0d0029f

• Rust: Also lift read steps in summaries as taint steps

  hvitved

  committed
  209ee92

  Copy full SHA for 209ee92

Commits on Jan 7, 2026

• Rust: Model implicit `Deref` trait calls in data flow

  hvitved

  committed
  dce21e5

  Copy full SHA for dce21e5

• Rust: Update data flow test to use implicit borrow

  hvitved

  committed
  0c7aeb4

  Copy full SHA for 0c7aeb4

• Rust: Model `Deref` trait in type inference

  hvitved

  committed
  4540662

  Copy full SHA for 4540662

• Rust: More type inference tests

  hvitved

  committed
  caa0e90

  Copy full SHA for caa0e90

Commits on Jan 6, 2026

• Rust: Effect of lifting content reads as taint steps.

  geoffw0

  committed
  13df236

  Copy full SHA for 13df236

• Rust: Add some taint tests involving tuples.

  geoffw0

  committed
  6e2702c

  Copy full SHA for 6e2702c