deque: add "proven correct" work-stealing Chase-Lev deque
[model-checker-benchmarks.git] / chase-lev-deque /
drwxr-xr-x   ..
-rw-r--r-- 1594 deque.c