sctbench
sctbench copied to clipboard
Source for Aget 0.57
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.