Description of benchmarks
[model-checker-benchmarks.git] / .gitignore
1 # generic types
2 *.o
3 .*.swp
4 *.swo
5 *.so
6 *~
7
8 # files in this directory
9 /tags
10
11 barrier/barrier
12 chase-lev-deque-bugfix/main
13 cliffc-hashtable/table
14 cliffc-hashtable/table-normal
15 dekker-fences/dekker-fences
16 linuxrwlocks/linuxrwlocks
17 mcs-lock/mcs-lock
18 mpmc-queue/mpmc-2r1w-noinit
19 mpmc-queue/mpmc-rdwr-noinit
20 mpmc-queue/mpmc-1r2w
21 mpmc-queue/mpmc-queue
22 mpmc-queue/mpmc-1r2w-noinit
23 mpmc-queue/mpmc-queue-noinit
24 mpmc-queue/mpmc-2r1w
25 mpmc-queue/mpmc-queue-rdwr
26 treiber-stack/main