Skip to content

Pull requests: herd/herdtools7

New pull request New
53 Open 1,480 Closed
53 Open 1,480 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

More ASL Reference linting
#1664 opened Jan 18, 2026 by Roman-Manevich Loading…
ASL Reference HeVeA stuff
#1663 opened Jan 18, 2026 by Roman-Manevich • Draft
[asl] A few configuration changes to allow packaging aslref as an opam package
#1662 opened Jan 16, 2026 by HadrienRenaud Loading…
[gen] Add a -filter flag in diy7 to print if two relaxations combination will be allowed in the internal filter.
#1660 opened Jan 15, 2026 by ShaleXIONG Loading…
[herd,tests] Use an improved speedcheck for catalogue tests
#1657 opened Jan 14, 2026 by HadrienRenaud Loading…
@HadrienRenaud
1
[asldoc] Prototype translation to HML of ASL Reference
#1656 opened Jan 9, 2026 by maranget Loading…
[tests] Add some VMSA tests
#1646 opened Dec 23, 2025 by maranget Loading…
[gen] Reject cycles containing two same type of Amo.St*.
#1641 opened Dec 18, 2025 by ShaleXIONG Loading…
[herd] Add LDAP/STLP instructions
#1639 opened Dec 16, 2025 by RaghavRoy145 Loading…
5
[herd] Allow checking of PC in postcondition
#1636 opened Dec 15, 2025 by diaolo01 Loading…
14
[WIP] litmus2desc
#1635 opened Dec 12, 2025 by fsestini • Draft
@fsestini
[asl reference] deduplication of latex macros + a linter
#1634 opened Dec 12, 2025 by Roman-Manevich • Draft
[herd] Add option to dump output in JSON format
#1631 opened Dec 12, 2025 by fsestini • Draft
@fsestini
[herd] Use "static" po indices when rendering execution graphs
#1628 opened Dec 10, 2025 by fsestini Loading…
@fsestini
5
[more-tools]
#1621 opened Dec 5, 2025 by maranget • Draft
[litmus, herd]: Add handling for AAcrh64's PSTATE.SM and PSTATE.ZA
#1606 opened Dec 1, 2025 by murzinv Loading…
12
[gen] Wire in -o and -stdout argument in diyone7.
#1597 opened Nov 27, 2025 by ShaleXIONG Loading…
24
[herd] Multi-level page tables
#1591 opened Nov 26, 2025 by diaolo01 Loading…
[gen] Rework on printing generated litmus tests
#1582 opened Nov 18, 2025 by ShaleXIONG Loading…
4
[WIP] [gen] Update baseline configuration for rmw
#1578 opened Nov 18, 2025 by ShaleXIONG • Draft
10
[herd7] Initial support for translating addresses of instructions
#1518 opened Oct 24, 2025 by artkhyzha Loading…
20
[herd] Introduce basic support for AArch64 Guarded Control Stack
#1507 opened Oct 20, 2025 by murzinv • Draft
66
[litmus,aarch64] Print ETS status at startup (C driver only)
#1500 opened Oct 15, 2025 by maranget • Draft
[herd] Implement noret for non atomic memory accesses
#1490 opened Oct 10, 2025 by HadrienRenaud Loading…
24
[herd] Change aarch64*.cat to use SPDX license info and add a disclaimer
#1481 opened Oct 7, 2025 by relokin Loading…
2
ProTip! Adding no:label will show everything without a label.