Changes between Version 36 and Version 37 of Status/Oct11

Show
Ignore:
Timestamp:
11/01/11 22:40:45 (19 months ago)
Author:
shelarcy
Comment:

fix typo

Legend:

Unmodified
Added
Removed
Modified

  • Status/Oct11

    v36 v37  
    123123 
    124124Also on the go, but not yet fully baked, are: 
    125  * Work on adding contracts to Hsakell, along the lines of Dana Xu's these, but using a first order logic theorem prover to check contract satisfaction (with Koen Claessen, Dimitrios Vytiniotis, Charles-Pierre Astolfi, and Nathan Collins). 
     125 * Work on adding contracts to Haskell, along the lines of Dana Xu's these, but using a first order logic theorem prover to check contract satisfaction (with Koen Claessen, Dimitrios Vytiniotis, Charles-Pierre Astolfi, and Nathan Collins). 
    126126 
    127127 * Extending the code generator to exploit vector instructions (with Peter Braam, Paul Monday, Duncan Coutts) [[http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm VectorInstructions]].