Code

Progress64 benchmarks#850

Code

Open

StefanoDalMas wants to merge 6 commits intohernanponcedeleon:developmenthernanponcedeleon/Dat3M:developmentfrom

StefanoDalMas:progress64BenchmarksStefanoDalMas/Dat3M:progress64BenchmarksCopy head branch name to clipboard

Commits

Commits on Apr 11, 2025

• progress64 armv8 tests

  

  StefanoDalMas

  committed
  737a5ac

  Copy full SHA for 737a5ac

• Added progress64 benchmark currently supported

  Show description for d107ed1
  

  StefanoDalMas

  committed
  d107ed1

  Copy full SHA for d107ed1

• rwlock client fix

  Show description for 843cdd8
  

  StefanoDalMas

  committed
  843cdd8

  Copy full SHA for 843cdd8

• yices2 on CI

  Show description for 31a725a
  

  StefanoDalMas

  committed
  31a725a

  Copy full SHA for 31a725a

• fix tests

  Show description for 8032954
  

  StefanoDalMas

  committed
  8032954

  Copy full SHA for 8032954

• fix tests

  Show description for d6cb094
  

  StefanoDalMas

  committed
  d6cb094

  Copy full SHA for d6cb094