Draft: Delete tasks with value-based mutex models with pthread alternatives (!1522) · Merge requests · SoSy-Lab / Benchmarking / SV-Benchmarks

Simmo Saan requested to merge delete-non-pthread-variants into main Nov 30, 2023

As suggested in !1460 (merged), the variants of these tasks using pthread mutexes instead of value-based models are superior, so the value-based variants can be removed to reduce duplication.

TODO

Delete those affected by !1513 (merged).
Delete the rest from !1460 (merged) (NB! Some may have still interesting value-based variants.)

Draft: Delete tasks with value-based mutex models with pthread alternatives

TODO

Merge request reports