-
Notifications
You must be signed in to change notification settings - Fork 101
Pull requests: herd/herdtools7
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[aslspec] type parameter refactoring and type inference
#1927
opened Jul 22, 2026 by
Roman-Manevich
Collaborator
Loading…
[litmus] add new tests that record the programs' output
#1926
opened Jul 22, 2026 by
psafont
Loading…
[asl reference] use
\ChapterOutline to auto-generate chapter outlines from the list of sections
#1925
opened Jul 22, 2026 by
Roman-Manevich
Collaborator
Loading…
[aslref] complete annotations for all left-/right- hand side expressions
#1924
opened Jul 21, 2026 by
Roman-Manevich
Collaborator
Loading…
[INSTALL.md] Provide more instructions on how to build and install herdtools
#1923
opened Jul 21, 2026 by
psafont
Loading…
[herd] Replace mentions of Hardware Update Effects with Implicit TTD Write Effects
#1920
opened Jul 17, 2026 by
fsestini
Collaborator
Loading…
[asl reference] replace console splicing by generated console macros
#1919
opened Jul 15, 2026 by
Roman-Manevich
Collaborator
Loading…
[herd,asl] Represent RESADDR as a bitvector
#1914
opened Jul 12, 2026 by
HadrienRenaud
Collaborator
Loading…
improved HTML rendering of the ASL Reference with MathJax
#1906
opened Jul 8, 2026 by
Roman-Manevich
Collaborator
•
Draft
[herd] Load-reserve Store-Conditional may pair on different addresses
#1896
opened Jul 3, 2026 by
maranget
Member
Loading…
[gen] Change CSEL dependency instruction sequences
#1895
opened Jul 2, 2026 by
ShaleXIONG
Collaborator
Loading…
[gen] Add pair-cell offset annotation for AArch64.
#1886
opened Jun 25, 2026 by
ShaleXIONG
Collaborator
Loading…
[gen] Add VMSA PTE attribute annotations
#1884
opened Jun 24, 2026 by
ShaleXIONG
Collaborator
Loading…
[gen] Do not expose
Store edge in cycle value checks
#1873
opened Jun 19, 2026 by
ShaleXIONG
Collaborator
Loading…
[gen] Refactor communication edge representation
#1871
opened Jun 18, 2026 by
ShaleXIONG
Collaborator
Loading…
Refine AArch64 BBM modelling and add regression coverage
#1864
opened Jun 16, 2026 by
relokin
Member
Loading…
[gen] Limit value checks to communication-adjacent events
#1845
opened May 29, 2026 by
ShaleXIONG
Collaborator
Loading…
[WIP][gen] memory tag
diy7 configuration file
#1836
opened May 14, 2026 by
ShaleXIONG
Collaborator
•
Draft
[gen] add
@before and @after predicates for relaxations in diy7
#1835
opened May 14, 2026 by
ShaleXIONG
Collaborator
Loading…
[herd, asl] Add variant to remove return events from ASL concurrent semantics
#1826
opened May 8, 2026 by
HadrienRenaud
Collaborator
•
Draft
[litmus] Litmus postcondition offset checks fix
#1824
opened May 7, 2026 by
diaolo01
Contributor
Loading…
[herd] Fix UDF CMODX type and introduce relaxation for non-modifying writes
#1809
opened Apr 28, 2026 by
diaolo01
Contributor
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2026-07-22.