herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

herd/herdtools7 Issues

[ASL] Semantics of throw statement
Updated 23 days ago2
[herd] SVE Vector ADD instruction does not operate element-wise
Closed 2 months ago3
Implementation of atomic_add_unless
Updated 2 months ago
Add support for BPF Architecture
Updated 3 months ago9
Are the verification conditions unique in the tests generated by diyone7?
Closed 3 months ago5
[herd] No fault on crossing memtag granularity
Updated 4 months ago1
Escape characters not working in string literals
Updated 5 months ago
[ASL] global variables and function clashing
Updated 5 months ago
[ASL] Remove LDUninitialisedTuple
Closed 5 months ago
[Raspbian] Building with "make all" crashes on RPi 4
Updated 5 months ago3
ROR shift type implementation
Updated 6 months ago8
[Litmus] Test ISA-DEP-WR-ADDR failed in Litmus 7.56.3.
Closed 7 months ago8
herd7 on a litmus test with a loop never terminates (expected?)
Closed 7 months ago3
herd7 cant recognize the general register of RISCV in standard litmus file
Closed 7 months ago2
About the counter-intuitive herd7 simulation result for CoRW1+fence.rw.rwspx.litmus
Closed 8 months ago2
[gen] oneloc tests with wrong post condition
Updated 9 months ago2
Is GPU_PTX still supported?
Closed 9 months ago2
ASL: ASL v0 implicit declarations must be hoisted to highest legal scope
Closed 9 months ago2
[herd] Warnings -- fatal or not?
Updated 10 months ago4
This is a test
Closed 10 months ago
[gen] pair loads and stores + memtag produces malformed litmus test
Updated 10 months ago1
[aarch64] same location, different cacheability attributes
Updated 10 months ago4
[aarch64] cacheability attribute regions fail to parse
Closed a year ago2
[herd] Unexpected(?) solver behaviour
Updated a year ago2
LKMM stopped working since commit ffb134707c5f
Closed a year ago4
About the equivalence of the two CAT models for RISC-V
Closed a year ago2
[litmus] The combination `-variant self,kvm` is not completely functional
Updated a year ago3
Report of a potential bug related to RISC-V aqrl format
Closed a year ago6
Illegal operation mask32 on x:green
Closed a year ago13
About how herd models RISC-V memory model primitives
Updated a year ago2
[herd] Unresolved cycles not flagged although they have a unique solution
Updated a year ago
A potential mistake in diy7 documentation
Closed a year ago2
diy7: additional "safe" relaxations reduces number of generated cycles
Updated a year ago20
Fail to reproduce the safe relaxations testing of X86 architecture
Updated a year ago2
make：***No rule to make target 'all'. Stop
Closed a year ago4
What scanner/parser is herd7 using to identify .cat?
Updated a year ago1
Missing (?) data edge
Closed a year ago6
dump all execution graphs
Closed 2 years ago6
herd7: exists clause that should be prohibited is now allowed
Closed 2 years ago6
diyone7 can produce unreachable tests with Amo and T relaxations
Closed 2 years ago6
Struggling to understand intention of (generated?) PTW litmus test
Updated 2 years ago2
aarch64-v07 is stronger than aarch64-v06
Closed 2 years ago4
can't use affnity
Closed 2 years ago9
Cannot reconstruct PTW test from the cycle (exists clauses are different)
Updated 2 years ago2
Data dependencies from AMO instructions in RISCV
Closed 2 years ago7
Parameter evaluation ordering for C11
Closed 2 years ago7
[litmus7] Possible bug with the implies (=>) operator?
Closed 2 years ago4
Failed atomic_cmpxchg_acquire interpreted as R[once]
Closed 2 years ago5
RC11 definition
Closed 2 years ago4
Commands of herdtools7 7.56.1 doesn't print ther version
Closed 2 years ago4