Skip to content

Pull requests: herd/herdtools7

New pull request New
35 Open 987 Closed
35 Open 987 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

Pointer authentication code
#1125 opened Jan 9, 2025 by RemyCiterin Loading…
[asl][menhir2bnfc] A tool to convert the menhir grammar specification into a bnf/bnfc equivallent
#1124 opened Jan 9, 2025 by IGGeorgiev Loading…
[herd] Add implicitely transitive relations in cat interpreter.
#1120 opened Jan 7, 2025 by HadrienRenaud Loading…
[doc] Capturing convention about 'fault' predicate
#1119 opened Jan 3, 2025 by diaolo01 • Draft
1
[all] Improve the implementation of memory attributes for AArch64
#1117 opened Dec 29, 2024 by relokin Loading…
[asl] Handle arrays with enumerated indices
#1115 opened Dec 24, 2024 by Roman-Manevich Loading…
3 tasks done
22
ASL reference fixes
#1111 opened Dec 19, 2024 by Roman-Manevich Loading…
1 task done
5
[herd7,aarch64] A failed CAS may write back
#1095 opened Dec 6, 2024 by artkhyzha Loading…
17
[tools] More flexible log lexer
#1094 opened Dec 5, 2024 by maranget Loading…
2
[asl] Unified all AST bitfield node types into a single type
#1082 opened Dec 1, 2024 by Roman-Manevich • Draft
1 task
2
[doc] Documentation on how to introduce new languages
#1071 opened Nov 21, 2024 by diaolo01 Loading…
6
[asl] stdlib updates for alignment functions
#1049 opened Nov 13, 2024 by HadrienRenaud Loading…
11
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
[aarch64,asl] Adapt to the ASL bundle as of June 2024
#962 opened Sep 9, 2024 by maranget • Draft
5
[herd,asl] Implement basic ASL+VMSA
#916 opened Jul 29, 2024 by maranget • Draft
[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
[all] Pull Request methodology
#779 opened Feb 6, 2024 by Roman-Manevich Loading…
17
[litmus] Basic type checking for RISCV
#759 opened Jan 17, 2024 by maranget • Draft
[asl-test] Some ASL tests
#757 opened Jan 16, 2024 by maranget • Draft
@HadrienRenaud
1
[AArch64,tests] Simplifying ifetch tests with address dependencies
#712 opened Oct 31, 2023 by artkhyzha Loading…
11
ProTip! Type g i on any issue or pull request to go back to the issue listing page.