sctbench icon indicating copy to clipboard operation
sctbench copied to clipboard

Source for Aget 0.57

Open sim642 opened this issue 1 year ago • 0 comments

This benchmark suite contains Aget 0.57 according to a README: https://github.com/mc-imperial/sctbench/blob/d59ab26ddaedcd575ffb6a1f5e9711f7d6d2d9f2/benchmarks/conc-bugs/aget-bug2/aget-devel/README#L1-L1

However, the seemingly-official repository for Aget is https://github.com/EnderUNIX/Aget and only mentions v0.4.1. Similarly, the last working archived version of its website says

Latest Stable Version: 0.4.1

So where is this version 0.57 from? Only other copies I've found (e.g. https://github.com/marchartung/DataRaceBenchmark) originate from SCTBench.

sim642 avatar Oct 06 '24 09:10 sim642