Code

Add aarch64 (Arm 64-bit) CI job#8572

Code

Draft

tautschnig wants to merge 5 commits intodiffblue:developdiffblue/cbmc:developfrom tautschnig:arm-citautschnig/cbmc:arm-ciCopy head branch name to clipboard

+211-51

Commits

Commits on Jan 20, 2025

• Add support for Arm-specific vector types

  Show description for 84a343e
  tautschnig

  committed
  84a343e

  Copy full SHA for 84a343e

• Upgrade CVC5 in CI to 1.2.0

  Show description for 695c872
  tautschnig

  committed
  695c872

  Copy full SHA for 695c872

• Avoid need for preprocessor calls with -m64

  Show description for 8086824
  tautschnig

  committed
  8086824

  Copy full SHA for 8086824

• Workaround for aarch64 regression test failure

  Show description for 6ff8951
  tautschnig

  committed
  6ff8951

  Copy full SHA for 6ff8951

• Add aarch64 (Arm 64-bit) CI job

  Show description for 04bf0cd
  tautschnig

  committed
  04bf0cd

  Copy full SHA for 04bf0cd