Changes between Version 14 and Version 15 of Status/Oct11


Ignore:
Timestamp:
Oct 27, 2011 10:35:22 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v14 v15  
    113113Also on the go, but not yet fully baked, are:
    114114 * 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).
    115  * Extending the code generator to exploit vector instructions (with Peter Braam, Paul Monday, Duncan Coutts) [[ VectorInstructions]].
     115 * Extending the code generator to exploit vector instructions (with Peter Braam, Paul Monday, Duncan Coutts) [[http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm VectorInstructions]].
    116116
    117117 * A modular package language for Haskell (with Derek Dreyer and Scott Kilpatrick) [[http://hackage.haskell.org/trac/ghc/wiki/PackageLanguage Packages]].