Code

Update charon submodule#3801

Code

Merged

zhassan-aws merged 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:charon-2024-12-30zhassan-aws/kani:charon-2024-12-30Copy head branch name to clipboardJan 3, 2025

+146-158

Commits

Commits on Dec 30, 2024

• Update charon submodule

  zhassan-aws

  committed
  ce7f803

  Copy full SHA for ce7f803

Commits on Jan 2, 2025

• update charon submodule

  thanhnguyen-aws

  committed
  9042391

  Copy full SHA for 9042391

• add file_id Hashmap

  thanhnguyen-aws

  committed
  92bf1d5

  Copy full SHA for 92bf1d5

Commits on Jan 3, 2025

• Update Cargo.lock

  zhassan-aws

  committed
  06ccb0b

  Copy full SHA for 06ccb0b

• Merge branch 'main' into charon-2024-12-30

  zhassan-aws

  committed
  5e3574b

  Copy full SHA for 5e3574b