From: Brian Norris <banorris@uci.edu>
Date: Tue, 13 Aug 2013 23:50:03 +0000 (-0700)
Subject: README.md: add extra blank lines
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=35fc7bb03532e5cbffd248d1de42b76ccc3f55b1;p=cdsspec-compiler.git

README.md: add extra blank lines
---

diff --git a/README.md b/README.md
index ec10620..5132935 100644
--- 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.
 
+
 Overview
 --------
 
@@ -35,6 +36,7 @@ You may also refer to the CDSChecker project page:
 
   <http://demsky.eecs.uci.edu/c11modelchecker.php>
 
+
 Getting Started
 ---------------
 
@@ -65,6 +67,7 @@ To see the help message on how to run CDSChecker, execute:
 
       ./run.sh -h
 
+
 Useful Options
 --------------
 
@@ -110,6 +113,7 @@ or
 
 >     -m 2 -f 10
 
+
 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
 
+
 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.
 
+
 Reading an execution trace
 --------------------------