model-checker-benchmarks.git
9 years agocommon benchmarks makefile definitions
Brian Norris [Tue, 9 Oct 2012 18:04:10 +0000 (11:04 -0700)]
common benchmarks makefile definitions

9 years agoadd "lock-free queue"
Brian Norris [Tue, 9 Oct 2012 17:57:56 +0000 (10:57 -0700)]
add "lock-free queue"

From:
http://www.codeproject.com/Articles/153898/Yet-another-implementation-of-a-lock-free-circular

License:
http://opensource.org/licenses/bsd-license.php

9 years ago.gitignore
Brian Norris [Tue, 9 Oct 2012 17:57:19 +0000 (10:57 -0700)]
.gitignore