Skip to content

Pull requests: herd/herdtools7

New pull request New
66 Open 1,612 Closed
66 Open 1,612 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[herd] Handle memory locations in speedcheck/filter optimisation
#1816 opened Apr 30, 2026 by maranget Member Loading…
2
[catalogue] Add readers-guide catalogue
#1812 opened Apr 29, 2026 by fsestini Collaborator Loading…
@fsestini
[litmus] Add makefile recpie for catalogue/aarch64-faults
#1811 opened Apr 28, 2026 by diaolo01 Contributor Loading…
[herd] Fix UDF cmodx type
#1809 opened Apr 28, 2026 by diaolo01 Contributor Loading…
3
[Makefile] Add shelf links and instruction configs
#1805 opened Apr 23, 2026 by relokin Member Loading…
14
[asl][www] Refactor running of ASLRef
#1799 opened Apr 20, 2026 by hrutvik Collaborator Loading…
7
[herd] Pac+ifetch
#1795 opened Apr 17, 2026 by diaolo01 Contributor Loading…
[WIP] [gen] Introduce async variant in diy
#1789 opened Apr 10, 2026 by ShaleXIONG Collaborator • Draft
[tools] AARCH-25405: Clarification οf the IC-Coherence-before and Instruction-read-ordered-before definitions
#1788 opened Apr 10, 2026 by TiberiuBucur Contributor Loading…
8
[herd+diy] Align MTE async fault reporting with the architecture
#1786 opened Apr 10, 2026 by diaolo01 Contributor Loading…
1
[github, herd-www] Fix filter paths inside check-build-www runner and herd-www tst target
#1781 opened Apr 8, 2026 by TiberiuBucur Contributor Loading…
7
Check github action on asllib/asllib-www modifications
#1779 opened Apr 8, 2026 by TiberiuBucur Contributor • Draft
[asl reference] LR1 parsing exposition examples
#1778 opened Apr 7, 2026 by Roman-Manevich Collaborator • Draft
[herd] Event Register Semantics
#1777 opened Apr 7, 2026 by RaghavRoy145 • Draft
19
[tools] Preserve negated miaou list wrapper
#1768 opened Mar 30, 2026 by relokin Member Loading…
9
[litmus] riscv timebase and cache operations
#1765 opened Mar 26, 2026 by npigginTT Loading…
2
function pp_fault made no longer static
#1764 opened Mar 26, 2026 by z5146542 • Draft
prelude_size function made no longer static
#1752 opened Mar 19, 2026 by z5146542 • Draft
C hashtable code no longer inlined and static
#1746 opened Mar 12, 2026 by z5146542 Loading…
Isolated additional inlined C code as non-static C source and header files.
#1739 opened Mar 3, 2026 by z5146542 Loading…
PAC with collision
#1736 opened Mar 2, 2026 by diaolo01 Contributor Loading…
64
[herd-www] Add .opam file specifying dependencies
#1728 opened Feb 23, 2026 by TiberiuBucur Contributor • Draft
2
[WIP][gen] Vmsa draft config
#1720 opened Feb 18, 2026 by ShaleXIONG Collaborator • Draft
[herd] More implicit transitive relations in the Cat interpreter
#1719 opened Feb 17, 2026 by maranget Member Loading…
6
[gen] Fix problems related to physical address change, annotation PteOA.
#1707 opened Feb 11, 2026 by ShaleXIONG Collaborator Loading…
13
ProTip! Type g i on any issue or pull request to go back to the issue listing page.