X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=.gitignore;h=9a81599a8031595e833e703f8660323154208844;hp=c2e31557308a878fdb386c98e748444511cdaeeb;hb=993e7e5146f39ff0ed459ac0a8bc30e7a0253156;hpb=1fb8ffd937893b545232f8b1c9035002f4da5a5f

diff --git a/.gitignore b/.gitignore
index c2e3155..9a81599 100644
--- 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