All pull requests

Pull requests

• [litmus] Move hash function code into its own file.

  #2028·maranget opened Sep 29, 2026Member·

  ·
  3

• [herd] Implement MTE tag-checking for SP-based accesses for AArch64

  #2027·psafont opened Sep 29, 2026Contributor·

  ·

• Add JSON pretty printer for test, result, and execution graphs

  #2026·yuxiliu-arm opened Sep 29, 2026Collaborator·

  ·
  

• [herd] Add action predicate to select Access

  #2025·yuxiliu-arm opened Sep 29, 2026Collaborator·

  ·
  

• [herd] Add action function to get register access size

  #2024·yuxiliu-arm opened Sep 29, 2026Collaborator·

  ·
  

• [herd] Extend loader to return addr and static_poi annotated source

  #2022·yuxiliu-arm opened Sep 29, 2026Collaborator·

  ·
  

• [asl + asl reference] clarify line terminator handling

  #2019·vyrzdev opened Sep 24, 2026·

  ·
  21

• Various bug fixes for herd

  #2018·relokin opened Sep 24, 2026Member·

  ·
  7

• [litmus] PoC for converting inlined C code to libraries

  #2012·psafont opened Sep 21, 2026Contributor·

  ·
  7

• [AARCH-24967] Consolidate the requirements on Coherence-before and Reads-from-memory

  #2004·relokin opened Sep 16, 2026Member·

  ·
  10

• Share the definition of some command line options

  #1999·maranget opened Sep 11, 2026Member·

  ·

• Fix GCS instruction semantics

  #1997·relokin opened Sep 10, 2026Member·

  ·
  5

• [gen] diy7 performance improvement

  #1996·ShaleXIONG opened Sep 10, 2026Collaborator·

  ·
  9

• Slight output format changes for **herd7** and **litmus7**

  #1992·maranget opened Sep 4, 2026Member·

  ·
  1

• [herd] report timeouts when running tests

  #1976·psafont opened Aug 27, 2026Contributor·

  ·
  4

• [gen] Fixing diy test fail in "Normalize machine-size names for 64-bit and 128-bit values"

  #1962·ShaleXIONG opened Aug 11, 2026Collaborator·

  ·

• [herd] Add special clause include $dirname... in configuration file

  #1961·maranget opened Aug 11, 2026Member·

  ·

• Normalize machine-size names for 64-bit and 128-bit values

  #1960·relokin opened Aug 11, 2026Member·

  ·
  1

• [herd] Improvements for vmsa+ifetch

  #1940·artkhyzha opened Jul 30, 2026Collaborator·

  ·
  2

• [catalogue] Fix catalogue

  #1939·maranget opened Jul 30, 2026Member·

  ·
  2

• Dot2desc multiple reg alternatives

  #1931·TiberiuBucur opened Jul 28, 2026Collaborator·

  ·
  4

• [aslspec] type parameter refactoring and type inference

  #1927·Roman-Manevich opened Jul 22, 2026Collaborator·

  ·
  19

• AARCH-25948: Replace Hardware Update Effects with Implicit TTD Memory Write Effects

  #1920·fsestini opened Jul 17, 2026Collaborator·

  ·
  3

  

• [asl reference] replace console splicing by generated console macros

  #1919·Roman-Manevich opened Jul 15, 2026Collaborator·

  ·
  42

  

• improved HTML rendering of the ASL Reference with MathJax

  #1906·Roman-Manevich opened Jul 8, 2026Collaborator·

  ·
  4