herd is an addition to the diy tool suite. We provide a pre-release of herd (tagged version 5.99-D), with documentation. We also provide a complete 5.99-D release of all our tools.
Our experiments heavily rely on herd, and may also serve for documentation purposes.
herd is companion software to the article “Herding Cats, Modelling, simulation, testing, and data-mining for weak memory”. The article is best viewed in colors, but we also provide a black and white version.