From: Brian Norris <banorris@uci.edu>
Date: Tue, 13 Aug 2013 23:50:17 +0000 (-0700)
Subject: README.md: push URLs down to See Also section
X-Git-Tag: oopsla2015~29
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=f7a2a9682e6edbf7db5b07d1022436fb0f7c5594

README.md: push URLs down to See Also section
---

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):
 
-  <http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf>
+>   <http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf>
 
 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:
-
-  <http://demsky.eecs.uci.edu/c11modelchecker.php>
-
 
 Getting Started
 ---------------
@@ -275,6 +271,20 @@ Other Notes
   CDSChecker with the `-u num` option.
 
 
+See Also
+--------
+
+The CDSChecker project page:
+
+>   <http://demsky.eecs.uci.edu/c11modelchecker.php>
+
+The CDSChecker source and accompanying benchmarks on Gitweb:
+
+>   <http://demsky.eecs.uci.edu/git/?p=model-checker.git>
+>
+>   <http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git>
+
+
 Contact
 -------