README.md: move copyright down

[model-checker.git] / README.md

diff --git a/README.md b/README.md
index 023a73767d1b3c4a29a1735db887946c846135d3..8d70bf07bbd29db8250c674d6dbd1f21d7b24773 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,14 +1,6 @@
 CDSChecker: A Model Checker for C11 and C++11 Atomics
 =====================================================
 
 CDSChecker: A Model Checker for C11 and C++11 Atomics
 =====================================================
 

-Copyright © 2013 Regents of the University of California. All rights reserved.
-
-CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
-
-
-Overview
---------
-

 CDSChecker is a model checker for C11/C++11 which exhaustively explores the
 behaviors of code under the C/C++ memory model. It uses partial order reduction
 as well as a few other novel techniques to eliminate time spent on redundant
 CDSChecker is a model checker for C11/C++11 which exhaustively explores the
 behaviors of code under the C/C++ memory model. It uses partial order reduction
 as well as a few other novel techniques to eliminate time spent on redundant


@@ -37,12 +29,15 @@ Getting Started
 ---------------
 
 If you haven't done so already, you may download CDSChecker using
 ---------------
 
 If you haven't done so already, you may download CDSChecker using

-[git](http://git-scm.com/) (for those without git, snapshots can be found at the
-Gitweb URLs below):
+[git](http://git-scm.com/):

 
       git clone git://demsky.eecs.uci.edu/model-checker.git
 
 
       git clone git://demsky.eecs.uci.edu/model-checker.git
 

-Get the benchmarks (not required; distributed separately):
+Source code can also be downloaded via the snapshot links on Gitweb (found in
+the __See Also__ section).
+
+Get the benchmarks (not required; distributed separately), placing them as a
+subdirectory under the `model-checker` directory:

 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks
 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks


@@ -400,6 +395,14 @@ CDSChecker catches bugs in your programs.
 Contact Brian Norris at <banorris@uci.edu> or Brian Demsky at <bdemsky@uci.edu>.
 
 
 Contact Brian Norris at <banorris@uci.edu> or Brian Demsky at <bdemsky@uci.edu>.
 
 

+Copyright
+---------
+
+Copyright &copy; 2013 Regents of the University of California. All rights reserved.
+
+CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
+
+

 References
 ----------
 
 References
 ----------