README.md: add extra blank lines
authorBrian Norris <banorris@uci.edu>
Tue, 13 Aug 2013 23:50:03 +0000 (16:50 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Aug 2013 23:50:03 +0000 (16:50 -0700)
README.md

index ec10620..5132935 100644 (file)
--- a/README.md
+++ b/README.md
@@ -5,6 +5,7 @@ Copyright &copy; 2013 Regents of the University of California. All rights reserv
 
 CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
 
 
 CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
 
+
 Overview
 --------
 
 Overview
 --------
 
@@ -35,6 +36,7 @@ You may also refer to the CDSChecker project page:
 
   <http://demsky.eecs.uci.edu/c11modelchecker.php>
 
 
   <http://demsky.eecs.uci.edu/c11modelchecker.php>
 
+
 Getting Started
 ---------------
 
 Getting Started
 ---------------
 
@@ -65,6 +67,7 @@ To see the help message on how to run CDSChecker, execute:
 
       ./run.sh -h
 
 
       ./run.sh -h
 
+
 Useful Options
 --------------
 
 Useful Options
 --------------
 
@@ -110,6 +113,7 @@ or
 
 >     -m 2 -f 10
 
 
 >     -m 2 -f 10
 
+
 Benchmarks
 -------------------
 
 Benchmarks
 -------------------
 
@@ -123,6 +127,7 @@ the benchmarks as follows:
 >     ./run.sh barrier/barrier -y -m 2     # runs barrier test with fairness/memory liveness
 >     ./bench.sh                           # run all benchmarks and provide timing results
 
 >     ./run.sh barrier/barrier -y -m 2     # runs barrier test with fairness/memory liveness
 >     ./bench.sh                           # run all benchmarks and provide timing results
 
+
 Running your own code
 ---------------------
 
 Running your own code
 ---------------------
 
@@ -157,6 +162,7 @@ the headers in the `include/` directory. Then the shared library must be made
 available to the dynamic linker, using the `LD_LIBRARY_PATH` environment
 variable, for instance.
 
 available to the dynamic linker, using the `LD_LIBRARY_PATH` environment
 variable, for instance.
 
+
 Reading an execution trace
 --------------------------
 
 Reading an execution trace
 --------------------------