Commits

Breadcrumbs

History for

one80c192

User selector

All users

All time

Commit History

Commits on Sep 17, 2025

• Rust: Use async closure instead of async block

  paldepind

  committed
  e80c192

  Copy full SHA for e80c192

• Rust: Add models for Warp

  paldepind

  committed
  1af6b37

  Copy full SHA for 1af6b37

• Rust: Add web framework tests for Warp

  paldepind

  committed
  bfe9341

  Copy full SHA for bfe9341

Commits on Sep 16, 2025

• Rust: Pretty print models, so that the MaD IDs aren't reported raw / in continual flux.

  geoffw0

  committed
  61faeef

  Copy full SHA for 61faeef

• Rust: Update .expected file.

  geoffw0

  committed
  5c33af3

  Copy full SHA for 5c33af3

Commits on Sep 15, 2025

• Merge pull request #20133 from paldepind/rust/type-inference-blanket-impl

  Show description for 78389c8
  paldepind

  authored
  78389c8

  Copy full SHA for 78389c8

• Merge pull request #20381 from paldepind/rust/request-forgery-query

  Show description for af49301
  paldepind

  authored
  af49301

  Copy full SHA for af49301

• Merge pull request #20426 from geoffw0/cookie2

  Show description for 00f6448
  geoffw0

  authored
  00f6448

  Copy full SHA for 00f6448

Commits on Sep 12, 2025

• Rust: Convert 'from' models into one generic one.

  geoffw0

  committed
  118ac07

  Copy full SHA for 118ac07

• Rust: Model vec::from_elem.

  geoffw0

  committed
  9f83b67

  Copy full SHA for 9f83b67

• Rust: Model vec::from.

  geoffw0

  committed
  e2d9412

  Copy full SHA for e2d9412

• Rust: Add models for the cookie and biscotti crates.

  geoffw0

  committed
  5d3ea2f

  Copy full SHA for 5d3ea2f

• Rust: Add test cases for hardcoded cryptographic constants in cookies.

  geoffw0

  committed
  2bb9e2f

  Copy full SHA for 2bb9e2f

• Rust: Address feedback from PR review

  paldepind

  committed
  e2e6fd0

  Copy full SHA for e2e6fd0

• Rust: Accept test changes

  paldepind

  committed
  12dcd75

  Copy full SHA for 12dcd75

• Rust: Add support for resolving methods from blanket implementations

  paldepind

  committed
  29ba013

  Copy full SHA for 29ba013

• Rust: Move existing blanket implementation test

  paldepind

  committed
  d10cdfb

  Copy full SHA for d10cdfb

• Rust: Add tests with blanket implementation

  paldepind

  committed
  69a1c7e

  Copy full SHA for 69a1c7e

Commits on Sep 11, 2025

• Rust: Infer certain type information for struct expressions

  paldepind

  committed
  eea7006

  Copy full SHA for eea7006

Commits on Sep 10, 2025

• Merge branch 'main' into rust/request-forgery-query

  paldepind

  committed
  d1a3294

  Copy full SHA for d1a3294

• Rust: Fix based on review

  paldepind

  committed
  c73d081

  Copy full SHA for c73d081

• Apply suggestions from code review

  Show description for 50cd200
  

  paldepind

  and

  geoffw0

  authored
  50cd200

  Copy full SHA for 50cd200

Commits on Sep 9, 2025

• Rust: Improve a few `toString` implementations

  paldepind

  committed
  f7c7466

  Copy full SHA for f7c7466

• Rust: Add request forgery query

  paldepind

  committed
  e1047dc

  Copy full SHA for e1047dc

• Rust: Add request forgery tests

  paldepind

  committed
  63a2c9d

  Copy full SHA for 63a2c9d

• Merge pull request #20348 from paldepind/rust/certain-shorthand-self

  Show description for aa9d299
  paldepind

  authored
  aa9d299

  Copy full SHA for aa9d299

Commits on Sep 8, 2025

• Rust: Relabel reqwest sinks as `request-url`

  paldepind

  committed
  eea11db

  Copy full SHA for eea11db

Commits on Sep 3, 2025

• Rust: Assign locations to all `DataFlowCallable`s

  hvitved

  committed
  dff5ed7

  Copy full SHA for dff5ed7

Commits on Sep 2, 2025

• Rust: Infer certain type for self shorthand

  paldepind

  committed
  1b683f6

  Copy full SHA for 1b683f6

• Rust: Add annotations to type inference tests

  paldepind

  committed
  f720102

  Copy full SHA for f720102

• Merge pull request #20343 from paldepind/rust/certain-type-inline-expectation

  Show description for 17d23a9
  paldepind

  authored
  17d23a9

  Copy full SHA for 17d23a9

• Rust: Change inline expectation annotation for certain inferred types

  paldepind

  committed
  8a92b2d

  Copy full SHA for 8a92b2d

• Merge pull request #20295 from geoffw0/oldpaths1

  Show description for 9bae0bf
  hvitved

  authored
  9bae0bf

  Copy full SHA for 9bae0bf

• Merge pull request #20321 from paldepind/rust/trait-method-scope-2

  Show description for 0ed6428
  paldepind

  authored
  0ed6428

  Copy full SHA for 0ed6428

• Rust: Account for trait visibility when resolving paths and methods

  paldepind

  committed
  322ef4d

  Copy full SHA for 322ef4d