Search results

MTE: Clarify how asynchronous tag-check faults should be represented in herd

Status: Open.

#1801 In herd/herdtools7;

· diaolo01 opened on Apr 21, 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

Policy on minimum supported OCaml version

Status: Open.

#1783 In herd/herdtools7;

· fsestini 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

Documentation Section 11.4 hyperlinks broken

Status: Open.

#1543 In herd/herdtools7;

· eryjus opened on Nov 2, 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

all tests in collections.t failed

Status: Open.

#1407 In herd/herdtools7;

· sequencer opened on Aug 18, 2025