Search results

[herd-www] Consume structured herd results

Status: Open.

Feature

#1869 In herd/herdtools7;

· fsestini opened on Jun 18, 2026

[herd] Refactor logic to dump DOT files to disk and show them

Status: Open.

#1868 In herd/herdtools7;

· fsestini opened on Jun 17, 2026

[herd] Clarify interface and implementation of the -restrict option

Status: Open.

#1867 In herd/herdtools7;

· fsestini opened on Jun 17, 2026

Revisit structure of catalogues

Status: Open.

#1866 In herd/herdtools7;

· fsestini opened on Jun 16, 2026

[gen] Unify the macro unfold, edge wildcard unfold, and edge-annotation merge

Status: Open.

#1784 In herd/herdtools7;

· ShaleXIONG opened on Apr 8, 2026

Expose herd as a library

Status: Open.

#1782 In herd/herdtools7;

· fsestini opened on Apr 8, 2026

[gen] Clarify "plain" atomic annotations

Status: Open.

#1683 In herd/herdtools7;

· fsestini opened on Jan 26, 2026

[litmus7] Assertion failed in "litmus/skel.ml" with affinity options on RISC-V

Status: Open.

#1682 In herd/herdtools7;

· curious-whq opened on Jan 26, 2026

Section 12.5 BITWISE_DIFFERENT_BITWIDTHS question

Status: Open.

#1610 In herd/herdtools7;

· eryjus opened on Dec 2, 2025

[asl question] ASLv1 for assembly syntax and encoding?

Status: Open.

#1560 In herd/herdtools7;

· katrinafyi opened on Nov 10, 2025

Herd7 throwing errors for ARM models

Status: Open.

#1528 In herd/herdtools7;

· ghows01 opened on Oct 27, 2025

[gen] De-facto mutually exclusive variants in diy.

Status: Open.

#1463 In herd/herdtools7;

· ShaleXIONG opened on Sep 30, 2025