Changeset 13 for sizechecking


Ignore:
Timestamp:
Nov 15, 2012, 1:02:20 AM (13 years ago)
Author:
gobi
Message:

fixing readme

File:
1 edited

Legend:

Unmodified
Added
Removed

  • sizechecking/README.html

    r11 r13  
    99<body> 
    1010<h2 id="prerequisites">Prerequisites</h2> 
    11 <p>You need at least version 2011.4.0.0 of the Haskell platform, an installed <a href="http://research.microsoft.com/en-us/um/redmond/projects/z3/">Z3</a> and the package value-supply. If you have a working Haskell platform installed you can install value-supply by typing</p> 
    12 <pre><code>cabal install value-supply</code></pre> 
     11<p>You need at least version 2011.4.0.0 of the Haskell platform, an installed <a href="http://research.microsoft.com/en-us/um/redmond/projects/z3/">Z3</a> and the packages <code>sbv</code> and <code>value-supply</code>. If you have a working Haskell platform installed you can install value-supply by typing</p> 
     12<pre><code>cabal install value-supply sbv</code></pre> 
    1313<h2 id="source-files">Source files</h2> 
    1414<dl> 
    … …  
    8585</dd> 
    8686</dl> 
    87 <p>There is also a function called <code>true</code> to denote we do not want to prove that branch.</p> 
     87<p>There is also a function called <code>true</code> to denote that we do not want to prove that branch.</p> 
    8888</body> 
    8989</html> 
Note: See TracChangeset for help on using the changeset viewer.