8000 Describe the K-Related-Work tag · sarvex/rust-memory-model@8ee4bd3 · GitHub
[go: up one dir, main page]

Skip to content

Commit 8ee4bd3

Browse files
authored
Describe the K-Related-Work tag
1 parent 88a7e67 commit 8ee4bd3

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ There are issues that describe numerous kinds of things, tagged with K- labels:
1717
- `K-Code-Example`: some code that may or may not be legal when evaluated against a particular model
1818
- `K-Optimization`: something the compiler may or may not be able to do when evaluated against a particular model
1919
- `K-Task`: something that we have to do, such as investigating certain things and creating new issues if necessary
20+
- `K-Related-Work`: a concise summary of some bit of related work, with links to learn more
2021

2122
### Files
2223

0 commit comments

Comments
 (0)
0