X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=.gitignore;h=870563c9577b0bc8a014e81cf05f4fe0cc1246be;hp=c2e31557308a878fdb386c98e748444511cdaeeb;hb=a757e79cb775f910bae08e1522029639d8a1ea91;hpb=5ff38985cb34f816fd84685cb00b46f44d0b63d5

diff --git a/.gitignore b/.gitignore
index c2e3155..870563c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,19 @@
 
 # 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