README.md: add extra blank lines

diff --git a/README.md b/README.md
index ec10620166721e921b11a6dca286c27ca42f7e57..5132935423d28648cee0715d04bd9015fc1bb180 100644 (file)
--- a/README.md
+++ b/README.md
@@ -5,6 +5,7 @@ Copyright © 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
 --------------------------