Skip to content

Commit 2771479

Browse files
committed
Fix some things
1 parent d32cdbd commit 2771479

File tree

3 files changed

+117
-59
lines changed

3 files changed

+117
-59
lines changed

README.adoc

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,10 @@ C. Atomicity and Order Violations
9797
|lange2018verification
9898
|link:papers/lange2018verification.pdf[]
9999

100+
|Dynamic Race Detection with LLVM Compiler
101+
|serebry2011llvm
102+
|link:papers/serebry2011llvm.pdf[]
103+
100104
|===
101105

102106

0 commit comments

Comments
 (0)