projects / model-checker-benchmarks.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
msc-queue: indentation, etc.
[model-checker-benchmarks.git] / spsc-queue / .gitignore
diff --git a/spsc-queue/.gitignore b/spsc-queue/.gitignore
index b7d03a7d8f6ebd71a5b10444d71347594d98c80e..248545656a0c0c73a18bc1ce9f8a03cd0d8876d9 100644 (file)
--- a/spsc-queue/.gitignore
+++ b/spsc-queue/.gitignore
@@ -1 +1,2 @@
 /spsc-queue
+/spsc-relacy
C++11 memory model checker benchmarks