Skip to content

Pull requests: herd/herdtools7

New pull request New
68 Open 1,528 Closed
68 Open 1,528 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] Attempt to limit the number of spurious AF updates
#1730 opened Feb 24, 2026 by maranget Loading…
2
[herd-www] Add .opam file specifying dependencies
#1728 opened Feb 23, 2026 by TiberiuBucur Loading…
2
[litmus] Enable check_dic_idc for PreSi and Kvm modes
#1727 opened Feb 23, 2026 by diaolo01 • Draft
[WIP][gen] Vmsa draft config
#1720 opened Feb 18, 2026 by ShaleXIONG • Draft
[herd] More implicit transitive relations in the Cat interpreter
#1719 opened Feb 17, 2026 by maranget Loading…
6
[uoaim] Implement tool
#1718 opened Feb 17, 2026 by fsestini • Draft
1 task done
@fsestini
[litmus] Introduce ExS, EIS and EOS variants
#1716 opened Feb 16, 2026 by diaolo01 Loading…
28
[tests] Fix typo
#1715 opened Feb 16, 2026 by maranget Loading…
1
[herd] Improve solver run when building rfms
#1713 opened Feb 12, 2026 by HadrienRenaud Loading…
@HadrienRenaud
7
[aslspec] Prose generation
#1710 opened Feb 11, 2026 by Roman-Manevich • Draft
[gen] Fix problems related to physical address change, annotation PteOA.
#1707 opened Feb 11, 2026 by ShaleXIONG Loading…
Importing inference rules from LaTeX to aslspec
#1703 opened Feb 8, 2026 by Roman-Manevich Loading…
Isolated inlined C code into source and header files
#1699 opened Feb 5, 2026 by z5146542 Loading…
10
[AARCH-24800,herd] Ordering semantics for Load instructions whose destination register is WZR/XZR
#1698 opened Feb 4, 2026 by relokin Loading…
[AARCH-24667,herd] Explicit-hazard-ordered-before for Hardware Update Effects
#1697 opened Feb 4, 2026 by relokin Loading…
[AARCH-24234,herd] Changes to the shareability for DMB and DSB
#1691 opened Jan 30, 2026 by relokin Loading…
[herd,cat] Tentative ordering requirements for strengthening FEAT_ETS
#1689 opened Jan 30, 2026 by artkhyzha • Draft
[herd-www] Support every Arm ARM release for all catalogues
#1686 opened Jan 27, 2026 by TiberiuBucur Loading…
34
[gen] Introduce a new relaxation/edge/atom parser in diy tool.
#1685 opened Jan 27, 2026 by ShaleXIONG Loading…
[AARCH-25105,herd] Ordering implications of a DSB when used to complete a TLBI or an IC
#1680 opened Jan 21, 2026 by artkhyzha Loading…
[catalogue] Revamp the aarch64-ETS2 catalogue
#1674 opened Jan 20, 2026 by relokin Loading…
1
[AARCH-24876,herd] Strengthening of the TLBI-ob relation
#1672 opened Jan 20, 2026 by relokin • Draft
[AARCH-24989,herd] Remove lfs from lob in aarch64hwreqs.cat
#1671 opened Jan 20, 2026 by relokin • Draft
[AARCH-24987,herd] Relax the definition bob in relation to Fault Effects
#1670 opened Jan 20, 2026 by relokin • Draft
[WIP][gen] Remove locally-order-before in baseline configuration file.
#1665 opened Jan 19, 2026 by ShaleXIONG • Draft
ProTip! Follow long discussions with comments:>50.