{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["devel"],"comment":"Weak memory model litmus tester","compare":null,"dependentCount":null,"description":"This is herdtools7, a tool suite to test weak memory models.\n\nIt provides the following tools:\n\n - herd7: a generic simulator for weak memory models\n - litmus7: run litmus tests (given as assembler programs for\n   Power, ARM, AArch64 or X86) to test the memory model of the\n   executing machine\n - diy7: produce litmus tests from concise specifications\n - some additional tools\n   In particular,\n    * mcompare7 to analyse run logs of both herd and litmus.\n    * klitmus7, an experimental tool, similar to litmus7 that runs kernel\n      memory model tests as kernel modules. The tool klitmus7 is inspired\n      from a python script by Andrea Parri,.\n      \u003chttp://retis.sssup.it/~a.parri/lkmm/run.py\u003e\n\n\nherdtools7 is the successor of the diy tool suite.","flavors":[],"html":"https://daemonports.org/netbsd/devel/herdtools7/","kind":"port","lastUpdate":null,"license":["cecill-b-v1 AND modified-bsd AND isc"],"maintainer":"pkgsrc-users@NetBSD.org","name":"herdtools7","newest":false,"newestVersion":null,"noVulnData":false,"origin":"devel/herdtools7","otherSystems":[],"packages":[{"repo":"NetBSD 10.1 x86_64","versions":["7.58"]},{"repo":"NetBSD 10.1 aarch64","versions":["7.58"]},{"repo":"SmartOS / illumos x86_64","versions":["-"]},{"repo":"macOS 15 arm64","versions":["-"]}],"pkgName":"herdtools7-7.58","related":null,"repository":"pkgsrc","requiredBy":[],"requiredByCount":0,"runDepends":["devel/ocaml-findlib","lang/ocaml","math/ocaml-zarith"],"status":null,"system":"netbsd","systemLabel":"NetBSD","version":"7.58","versions":null,"vulnerabilities":null,"www":"https://github.com/herd/herdtools7/"}