Search results

[herd]Modeling the X relation and how the Lr instruction is represented in riscv.cat

Status: Open.

#1210 In herd/herdtools7;

· curious-whq opened on Feb 28, 2025

[diyone7,aarch64] Generating code for STCLR

Status: Open.

#1176 In herd/herdtools7;

· artkhyzha opened on Feb 12, 2025

[litmus-kvm] final condition check

Status: Open.

#1160 In herd/herdtools7;

· RemyCiterin opened on Feb 4, 2025

Subtraction of virtual addresses bug

Status: Open.

#1122 In herd/herdtools7;

· RemyCiterin opened on Jan 8, 2025

[herd]Modeling of R and W event by AMO instruction in Riscv

Status: Open.

#1108 In herd/herdtools7;

· curious-whq opened on Dec 17, 2024

Difference between rmw and amo

Status: Open.

#1006 In herd/herdtools7;

· hernanponcedeleon opened on Oct 14, 2024

Clarifications to herd documentation

Status: Open.

#985 In herd/herdtools7;

· knatten opened on Sep 26, 2024

[litmus] Add parsing rule for ConcreteRecord

Status: Open.

#968 In herd/herdtools7;

· yuxiliu-arm opened on Sep 11, 2024

[asl] Type checking problem with constants

Status: Open.

#961 In herd/herdtools7;

· HadrienRenaud opened on Sep 9, 2024

[herd] RFC: SVE extension and refactoring

Status: Open.

#953 In herd/herdtools7;

· yuxiliu-arm opened on Sep 4, 2024

[diy7] C code generation

Status: Open.

#905 In herd/herdtools7;

· hernanponcedeleon opened on Jul 22, 2024

diyone7 Fatal error:failed:Observer

Status: Open.

#903 In herd/herdtools7;

· curious-whq opened on Jul 18, 2024

[herd] No fault on crossing memtag granularity

Status: Open.

#813 In herd/herdtools7;

· murzinv opened on Mar 26, 2024

Escape characters not working in string literals

Status: Open.

#795 In herd/herdtools7;

· arm-chrjan01 opened on Feb 22, 2024

[Raspbian] Building with "make all" crashes on RPi 4

Status: Open.

#788 In herd/herdtools7;

· u0078867 opened on Feb 17, 2024

[gen] oneloc tests with wrong post condition

Status: Open.

#706 In herd/herdtools7;

· hugookeeffe opened on Oct 26, 2023

ROR shift type implementation

Status: Open.

#698 In herd/herdtools7;

· arajamani-ampere opened on Oct 17, 2023

[gen] pair loads and stores + memtag produces malformed litmus test

Status: Open.

#665 In herd/herdtools7;

· murzinv opened on Sep 20, 2023

[aarch64] same location, different cacheability attributes

Status: Open.

#653 In herd/herdtools7;

· gonzalobg opened on Sep 9, 2023

[herd] Warnings -- fatal or not?

Status: Open.

#646 In herd/herdtools7;

· artkhyzha opened on Sep 7, 2023

[herd] Unexpected(?) solver behaviour

Status: Open.

#635 In herd/herdtools7;

· relokin opened on Sep 1, 2023

[litmus] The combination -variant self,kvm is not completely functional

Status: Open.

#593 In herd/herdtools7;

· maranget opened on Jun 9, 2023

[herd] Unresolved cycles not flagged although they have a unique solution

Status: Open.

#574 In herd/herdtools7;

· HadrienRenaud opened on May 2, 2023

About how herd models RISC-V memory model primitives

Status: Open.

#570 In herd/herdtools7;

· DehengYang opened on Apr 25, 2023

Fail to reproduce the safe relaxations testing of X86 architecture

Status: Open.

#550 In herd/herdtools7;

· DehengYang opened on Mar 28, 2023