Code

Rust: Model Pin#19529

Code

Merged

geoffw0 merged 6 commits intogithub:maingithub/codeql:mainfrom

geoffw0:pingeoffw0/ql:pinCopy head branch name to clipboard

May 27, 2025

Commits

Commits on May 19, 2025

• Rust: Add tests for std::Pin.

  geoffw0

  committed
  533aa7f

  Copy full SHA for 533aa7f

• Rust: Add models for std::Pin.

  geoffw0

  committed
  ebd75a1

  Copy full SHA for ebd75a1

• Update rust/ql/test/library-tests/dataflow/modeled/main.rs

  Show description for 94b57ac
  

  geoffw0

  and

  Copilot

  authored
  94b57ac

  Copy full SHA for 94b57ac

Commits on May 20, 2025

• Rust: Accept changes to other tests.

  geoffw0

  committed
  bfb15cd

  Copy full SHA for bfb15cd

Commits on May 21, 2025

• Merge branch 'main' into pin

  geoffw0

  committed
  355864d

  Copy full SHA for 355864d

Commits on May 27, 2025

• Merge branch 'main' into pin

  geoffw0

  committed
  257d949

  Copy full SHA for 257d949