From f7a2a9682e6edbf7db5b07d1022436fb0f7c5594 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 13 Aug 2013 16:50:17 -0700 Subject: [PATCH] README.md: push URLs down to See Also section --- README.md | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 5132935..a2458f4 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ execution behaviors and to significantly shrink the state space. The model checking algorithm is described in more detail in this paper (published in OOPSLA '13): - +> It is designed to support unit tests on concurrent data structure written using C/C++ atomics. @@ -32,10 +32,6 @@ CDSChecker should compile on Linux and Mac OSX with no dependencies and has been tested with LLVM (clang/clang++) and GCC. It likely can be ported to other \*NIX flavors. We have not attempted to port to Windows. -You may also refer to the CDSChecker project page: - - - Getting Started --------------- @@ -275,6 +271,20 @@ Other Notes CDSChecker with the `-u num` option. +See Also +-------- + +The CDSChecker project page: + +> + +The CDSChecker source and accompanying benchmarks on Gitweb: + +> +> +> + + Contact ------- -- 2.34.1