Code

Upgrade toolchain to 2024-04-22#3171

Code

Merged

zhassan-aws merged 16 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:toolchain-2024-04-22zhassan-aws/kani:toolchain-2024-04-22Copy head branch name to clipboardMay 14, 2024

+39-1

Commits

Commits on May 4, 2024

• Upgrade toolchain to 2024-04-22

  zhassan-aws

  committed
  0dd05cc

  Copy full SHA for 0dd05cc

Commits on May 6, 2024

• Merge branch 'main' into toolchain-2024-04-22

  karkhaz

  authored
  1e38436

  Copy full SHA for 1e38436

Commits on May 7, 2024

• Merge branch 'main' into toolchain-2024-04-22

  karkhaz

  authored
  eb5f2eb

  Copy full SHA for eb5f2eb

Commits on May 9, 2024

• Merge branch 'main' into toolchain-2024-04-22

  karkhaz

  authored
  77e2fc3

  Copy full SHA for 77e2fc3

Commits on May 10, 2024

• Support Wrapper<T>

  tautschnig

  committed
  2d23365

  Copy full SHA for 2d23365

• fmt

  tautschnig

  committed
  eeb6741

  Copy full SHA for eeb6741

• Metadata can be empty

  tautschnig

  committed
  c8e20b3

  Copy full SHA for c8e20b3

• Delete non-failing tests

  karkhaz

  committed
  ce23c18

  Copy full SHA for ce23c18

Commits on May 13, 2024

• Remove comment

  zhassan-aws

  committed
  d140243

  Copy full SHA for d140243

• Temporarily remove most perf tests to debug failure

  zhassan-aws

  committed
  63f6028

  Copy full SHA for 63f6028

• Revert "Temporarily remove most perf tests to debug failure"

  Show description for a449d17
  zhassan-aws

  committed
  a449d17

  Copy full SHA for a449d17

• Do not run perf tests in parallel

  zhassan-aws

  committed
  9e1541f

  Copy full SHA for 9e1541f

• Revert "Do not run perf tests in parallel"

  Show description for 07097b1
  zhassan-aws

  committed
  07097b1

  Copy full SHA for 07097b1

• Merge branch 'main' into toolchain-2024-04-22

  zhassan-aws

  committed
  b0fab10

  Copy full SHA for b0fab10

Commits on May 14, 2024

• Merge branch 'main' into toolchain-2024-04-22

  zhassan-aws

  authored
  5ad560f

  Copy full SHA for 5ad560f

• Remove step that was used for debugging

  zhassan-aws

  committed
  4148173

  Copy full SHA for 4148173