File tree 1 file changed +23
-0
lines changed
1 file changed +23
-0
lines changed Original file line number Diff line number Diff line change
1
+ ---
2
+ name : " `riscv`: Nominate CSR to be `write` safe"
3
+ about : Suggest to make writes of a given CSR safe
4
+ title : " `riscv`: make [CSR] write-safe"
5
+ labels : ' '
6
+ assignees : ' '
7
+
8
+ ---
9
+
10
+ ** Which CSR do you want to nominate as ` write ` safe?**
11
+ Indicate which CSR you want to be ` write ` safe. Ex. ` mepc `
12
+
13
+ ** Does a CSR write introduce potential memory safety issues in safe code? Please describe.**
14
+ A clear and concise justification on why writing to this CSR will ** never** introduce memory safety issues in safe code.
15
+
16
+ ** Does a CSR write introduce potential undefined behavior in safe code? Please describe.**
17
+ A clear and concise justification on why writing to this CSR will ** never** lead to undefined behavior in safe code.
18
+
19
+ ** Does a CSR write invalidate invariants in safe code?**
20
+ A clear and concise justification on why writing to this CSR will ** never** invalidate invariants in safe code.
21
+
22
+ ** Additional context**
23
+ Please feel free to add any other context or screenshots about your request here.
You can’t perform that action at this time.
0 commit comments