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

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