herdtools7.7.48 - via opam-publish

[maranget]

herdtools7, a tool suite for shared memory models.

herdtools7 is a tool suite for testing shared memory models.

We provide several tools, litmus7 for running tests, diy7 generators for producing tests from concise specifications, and herd7 for simulating memory models.

See also http://diy.inria.fr/

---

• Homepage: http://diy.inria.fr/
• Source repo: https://github.com/herd/herdtools7.git
• Bug tracker: http://github.com/herd/herdtools7/issues/

---

Pull-request generated by opam-publish v0.3.3

[camelus]

✅ All lint checks passed b999d75

• These packages passed lint tests: herdtools7.7.48

---

✅ Installability check (8296 → 8297)

• new installable packages (1): herdtools7.7.48