Skip to content

Pull requests: herd/herdtools7

New pull request New
37 Open 1,083 Closed
37 Open 1,083 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add tests to the aarch64 catalogue for existing relations of the memory model
#1227 opened Mar 10, 2025 by relokin Loading…
1
ASL-716 accessibility enhancements phase 8: examples and fixes
#1226 opened Mar 7, 2025 by Roman-Manevich • Draft
[menhir2bnfc][asl] Add disclaimers to menhir2bnfc
#1216 opened Mar 3, 2025 by IGGeorgiev Loading…
6
[CI] add test-all and test-menhir2bnfc workflows
#1207 opened Feb 27, 2025 by HadrienRenaud Loading…
13
[diy] [draft] Upgrade the Code.v type
#1192 opened Feb 21, 2025 by ShaleXIONG • Draft
Dot2desc implementation
#1191 opened Feb 21, 2025 by TiberiuBucur Loading…
[diy] [draft] Introduce instruction label for memory access and generate (PTE) fault check to labels.
#1180 opened Feb 18, 2025 by ShaleXIONG • Draft
43
[herd] Explicit and exhaustive input ports
#1179 opened Feb 13, 2025 by maranget Loading…
28
[herd] Consolidate alternative executions of a failed CAS
#1175 opened Feb 12, 2025 by relokin Loading…
28
Fix offsets in postcondition checks with litmus
#1166 opened Feb 6, 2025 by RemyCiterin Loading…
8
[herd, aarch64]: Introduce support for FEAT_MTE_STORE_ONLY
#1162 opened Feb 5, 2025 by murzinv • Draft
1
[herd] Add Scalar.is_zero function
#1152 opened Jan 31, 2025 by HadrienRenaud • Draft
2
[all] Labels can be treated as VAs
#1134 opened Jan 17, 2025 by artkhyzha Loading…
Pointer authentication code
#1125 opened Jan 9, 2025 by RemyCiterin Loading…
64
[doc] Capturing convention about 'fault' predicate
#1119 opened Jan 3, 2025 by diaolo01 • Draft
5
[all] Improve the implementation of memory attributes for AArch64
#1117 opened Dec 29, 2024 by relokin Loading…
1
Basic MTE support in litmus
#1042 opened Nov 8, 2024 by murzinv • Draft
5
[asl] Log parameter declarations/instantiations
#1038 opened Nov 7, 2024 by hrutvik • Draft
[herd] Implement system registers read from multiple previous writes
#995 opened Oct 2, 2024 by TiberiuBucur Loading…
14
[aarch64,MTE] Add Support for IRG
#965 opened Sep 11, 2024 by yuxiliu-arm Loading…
8
[herd,asl] Implement basic ASL+VMSA
#916 opened Jul 29, 2024 by maranget • Draft
2
[herd] Asl bool condition
#906 opened Jul 22, 2024 by maranget Loading…
2
[all]: Add support for SVE fault tolerant instructions
#876 opened Jun 17, 2024 by murzinv • Draft
5
[asl] NoAction effect made available to the ASL interpreter
#820 opened Apr 3, 2024 by maranget • Draft
[litmus] Basic type checking for RISCV
#759 opened Jan 17, 2024 by maranget • Draft
ProTip! Follow long discussions with comments:>50.