Code

Further changes for SVCOMP 2025#777

Code

Merged

hernanponcedeleon merged 8 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom boundshernanponcedeleon/Dat3M:boundsCopy head branch name to clipboardNov 11, 2024

+36-6

Commits

Commits on Nov 11, 2024

• Make use of bound.save and bound.load for svcomp

  Show description for f8e5927
  hernan-poncedeleon

  committed
  f8e5927

  Copy full SHA for f8e5927

• Remove outdated svcomp options

  Show description for 33c5161
  hernan-poncedeleon

  committed
  33c5161

  Copy full SHA for 33c5161

• Add support for llvm.threadlocal.address intrinsic

  Show description for 0d2fdc1
  hernan-poncedeleon

  committed
  0d2fdc1

  Copy full SHA for 0d2fdc1

• Use lazy RA for svcomp

  Show description for 252f913
  hernan-poncedeleon

  committed
  252f913

  Copy full SHA for 252f913

• Add support for more intrinsics

  Show description for 81066d0
  hernan-poncedeleon

  committed
  81066d0

  Copy full SHA for 81066d0

• Feedback implemented

  Show description for 455ebfc
  hernanponcedeleon

  committed
  455ebfc

  Copy full SHA for 455ebfc

• Fix

  Show description for d0ed9df
  hernanponcedeleon

  committed
  d0ed9df

  Copy full SHA for d0ed9df

• Move variable down

  Show description for e2c9b02
  hernanponcedeleon

  committed
  e2c9b02

  Copy full SHA for e2c9b02