Changes between Version 36 and Version 37 of ActiveBranches


Ignore:
Timestamp:
Jun 28, 2014 2:14:06 PM (14 months ago)
Author:
heisenbug
Comment:

grammar

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v36 v37  
    1919 * `wip/ermsb`: '''Extended rep-movsb (ERMSB) support for Intel processors'''. Austin Seipp. Modern Intel processors feature extremely fast (yet simple!) string copy primitives, which are taken advantage of by simply using the existing `rep movsb` instruction. For many workloads, these copies are competetive with fast AVX-based copies (on my Haswell machine, the difference between the two was indistinguishable). This should result in superior copy performance for Ivy Bridge processors and later, which support the ERMSB addition. This also adds support for `-march` and `-mcpu` to the compiler.
    2020
    21 * `wip/generics-propeq`: '''Propositional equality for `GHC.Generics`'''. Gabor Greif. For interworking of `hackage://gdiff` with `GHC.Generics` we need parametrized meta-data types. The idea is to replace `GHC.Generics.D1Bool` by `GHC.Generics.Dat "GHC.Types" "Bool"` and `GHC.Generics.C1_0Bool` (aka. `True`) by `GHC.Generics.Constr "GHC.Types" ("True", 1)`, and so on. This opens up them to type-level reasoning with `KnownSymbol`, `sameSymbol` etc.
     21* `wip/generics-propeq`: '''Propositional equality for `GHC.Generics`'''. Gabor Greif. For interworking of `hackage://gdiff` with `GHC.Generics` we need parametrized meta-data types. The idea is to replace `GHC.Generics.D1Bool` by `GHC.Generics.Dat "GHC.Types" "Bool"` and `GHC.Generics.C1_0Bool` (aka. `True`) by `GHC.Generics.Constr "GHC.Types" ("True", 1)`, and so on. This opens them up to type-level reasoning with `KnownSymbol`, `sameSymbol` etc.
    2222
    2323= Limbo branches =