add treiber stack

[model-checker-benchmarks.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c2e31557308a878fdb386c98e748444511cdaeeb..9a81599a8031595e833e703f8660323154208844 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,20 @@
 
 # files in this directory
 /tags
+
+barrier/barrier
+chase-lev-deque-bugfix/main
+cliffc-hashtable/table
+cliffc-hashtable/table-normal
+dekker-fences/dekker-fences
+linuxrwlocks/linuxrwlocks
+mcs-lock/mcs-lock
+mpmc-queue/mpmc-2r1w-noinit
+mpmc-queue/mpmc-rdwr-noinit
+mpmc-queue/mpmc-1r2w
+mpmc-queue/mpmc-queue
+mpmc-queue/mpmc-1r2w-noinit
+mpmc-queue/mpmc-queue-noinit
+mpmc-queue/mpmc-2r1w
+mpmc-queue/mpmc-queue-rdwr
+treiber-stack/main