Skip to content

Pull requests: herd/herdtools7

New pull request New
66 Open 1,665 Closed
66 Open 1,665 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

[asl][ci] Try to build HTML version of the ASL Reference in CI
#1874 opened Jun 19, 2026 by hrutvik Collaborator • Draft
[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…
[asl] maintain a type annotation for every typechecked expression
#1870 opened Jun 18, 2026 by Roman-Manevich Collaborator • Draft
22
Refine AArch64 BBM modelling and add regression coverage
#1864 opened Jun 16, 2026 by relokin Member Loading…
[ASL Reference] fixes following review
#1859 opened Jun 13, 2026 by Roman-Manevich Collaborator Loading…
30
[herd] Delay evaluation of transitive closures
#1856 opened Jun 11, 2026 by maranget Member • Draft
2
[herd] Petty optimisation of the Cat interpreter
#1855 opened Jun 11, 2026 by maranget Member Loading…
15
[gen] Limit value checks to communication-adjacent events
#1845 opened May 29, 2026 by ShaleXIONG Collaborator Loading…
13
[gen] Add store-only variant
#1843 opened May 27, 2026 by ShaleXIONG Collaborator Loading…
17
[aslspec] improvements to layouts: checks, tests, and documentation
#1839 opened May 16, 2026 by Roman-Manevich Collaborator Loading…
10
[aslspec] Fix prose rendering bugs
#1838 opened May 15, 2026 by Roman-Manevich Collaborator Loading…
5
[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…
22
[aslspec][asl reference] imported the syntax and AST builders to aslspec
#1832 opened May 10, 2026 by Roman-Manevich Collaborator • Draft
[aslspec] parameterized types
#1831 opened May 9, 2026 by Roman-Manevich Collaborator Loading…
13
[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…
4
[herd] Fix UDF CMODX type and introduce relaxation for non-modifying writes
#1809 opened Apr 28, 2026 by diaolo01 Contributor Loading…
9
[herd] Pac on instruction side
#1795 opened Apr 17, 2026 by diaolo01 Contributor Loading…
1
[herd] Event Register Semantics
#1777 opened Apr 7, 2026 by RaghavRoy145 Loading…
19
[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…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.