changes
[model-checker-benchmarks.git] / .gitignore
index 870563c..9a81599 100644 (file)
@@ -23,3 +23,4 @@ mpmc-queue/mpmc-1r2w-noinit
 mpmc-queue/mpmc-queue-noinit
 mpmc-queue/mpmc-2r1w
 mpmc-queue/mpmc-queue-rdwr
+treiber-stack/main