Code

Update toolchain to 2024-08-05#3416

Code

Merged

tautschnig merged 6 commits intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:toolchain-2024-08-05-manualtautschnig/kani:toolchain-2024-08-05-manualCopy head branch name to clipboardAug 5, 2024

+3-16

Commits

Commits on Aug 5, 2024

• Update toolchain to 2024-08-05

  Show description for 80cd280
  tautschnig

  committed
  80cd280

  Copy full SHA for 80cd280

• Only remove arg_count() method

  tautschnig

  committed
  52c070f

  Copy full SHA for 52c070f

• Actually remove insert_bb

  tautschnig

  committed
  579f6e3

  Copy full SHA for 579f6e3

• Merge branch 'main' into toolchain-2024-08-05-manual

  tautschnig

  authored
  5213cca

  Copy full SHA for 5213cca

• Revert "Actually remove insert_bb"

  Show description for 34a3995
  tautschnig

  committed
  34a3995

  Copy full SHA for 34a3995

• Use allow(dead_code)

  tautschnig

  committed
  495b341

  Copy full SHA for 495b341