Repository navigation

Rust: Add neutral models (map, from) - #21375

Merged

geoffw0 merged 12 commits into

github:mainfrom

Mar 6, 2026

Merged

Rust: Add neutral models (map, from)#21375
geoffw0 merged 12 commits into
github:mainfrom
geoffw0:mapfix

Commits on Feb 25, 2026
- Rust: Add test cases for log injection with map.
  geoffw0
  committed
  1213369
- Rust: Add test cases for log injection + uncontrolled allocation size with from.
  geoffw0
  committed
  97f7a26
Commits on Feb 26, 2026
- Rust: Add a neutral model of Option::map (so that we don't use the generated models).
  geoffw0
  committed
  53e8863
- Rust: Add a manual model for flow through Option::map.
  geoffw0
  committed
  5c108e5
- Rust: Add neutral models of From::from (corresponding with existing generated sink models).
  geoffw0
  committed
  75fea42
- Rust: Change note.
  geoffw0
  committed
  75ffb5f
- Rust: Make the manual model for Option::map more accurate.
  geoffw0
  committed
  78f855d
- Rust: Accept consistency check changes.
  geoffw0
  committed
  96a06be
- Rust: Simplify with the Copilot suggestions.
  geoffw0
  committed
  ec0b90f
- Rust: Accept consistency check changes from CI.
  geoffw0
  committed
  062fbf2
Commits on Mar 3, 2026
- Rust: Update the models.
  geoffw0
  committed
  bb5bfda
Commits on Mar 4, 2026
- Merge branch 'main' into mapfix
  geoffw0
  authored
  370c515