Skip to content

Pull requests: herd/herdtools7

New pull request New
66 Open 1,573 Closed
66 Open 1,573 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] more on spurious updates
#1772 opened Apr 1, 2026 by maranget • Draft
[herd] Introduce control dependency between MTE check and CAS instr
#1771 opened Apr 1, 2026 by diaolo01 Loading…
6
[aslspec] fixed tick_loop_limit to match implementation
#1770 opened Mar 31, 2026 by Roman-Manevich Loading…
[tools] Preserve negated miaou list wrapper
#1768 opened Mar 30, 2026 by relokin Loading…
[litmus] riscv timebase and cache operations
#1765 opened Mar 26, 2026 by npigginTT Loading…
1
function pp_fault made no longer static
#1764 opened Mar 26, 2026 by z5146542 • Draft
[catalogue] Fix VMSA register size and type mismatch
#1763 opened Mar 25, 2026 by diaolo01 • Draft
15
[litmus] Fix x -> XN polarity
#1759 opened Mar 24, 2026 by diaolo01 Loading…
3
prelude_size function made no longer static
#1752 opened Mar 19, 2026 by z5146542 • Draft
[gen] Fix a relaxation merge problem.
#1747 opened Mar 12, 2026 by ShaleXIONG Loading…
10
C hashtable code no longer inlined and static
#1746 opened Mar 12, 2026 by z5146542 Loading…
[gen] Add wildcard Amo.Safe.
#1745 opened Mar 11, 2026 by ShaleXIONG Loading…
7
[gen] Relax insert edge restrict
#1742 opened Mar 5, 2026 by ShaleXIONG 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 Loading…
64
[herd] Global count of useful hardware update
#1733 opened Mar 2, 2026 by maranget Loading…
8
[herd-www] Add .opam file specifying dependencies
#1728 opened Feb 23, 2026 by TiberiuBucur • Draft
2
[litmus] Enable check_dic_idc for PreSi and Kvm modes
#1727 opened Feb 23, 2026 by diaolo01 Loading…
8
[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
[litmus] Introduce ExS, EIS and EOS variants
#1716 opened Feb 16, 2026 by diaolo01 Loading…
39
[gen] Fix problems related to physical address change, annotation PteOA.
#1707 opened Feb 11, 2026 by ShaleXIONG Loading…
11
Isolated inlined C code into source and header files
#1699 opened Feb 5, 2026 by z5146542 Loading…
58
[AARCH-24800,herd] Ordering semantics for Load instructions whose destination register is WZR/XZR
#1698 opened Feb 4, 2026 by relokin Loading…
[herd,cat] Tentative ordering requirements for strengthening FEAT_ETS
#1689 opened Jan 30, 2026 by artkhyzha • Draft
ProTip! Add no:assignee to see everything that’s not assigned.