Changes between Version 29 and Version 30 of ActiveBranches


Ignore:
Timestamp:
May 4, 2014 5:09:09 PM (16 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v29 v30  
    77 * `late-lam-lift`: '''Late Lambda Lift'''.  Nick Frisby. We lift some lambdas before !CorePrep. I'm still determining when to 'not' lift a lambda. My terse notes [wiki:LateLamLift here].
    88
    9  * `type-nats`: '''Solver for Type-Level Naturals'''. Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers.
     9 * `wip/ext-olver`: Iavor S. Diatchki.  Integrate an extrenal SMT solver with the constrain solver.  Mostly for working with type-level naturals at the moment.
     10
    1011
    1112 * `simd`: '''SIMD support'''. Geoffrey Mainland. This extends the simple SIMD support in GHC HEAD, and is slated for 7.8.
     
    103104 * `type-nats-simple`: Derived from `type-nats`, intended for eventually being merged into `master`, slated for 7.8.
    104105
    105 * `better-ho-cardinality`: Authored by Simon PJ, merged by Joachim while working on the demand analyser with the exception of the patch in `wip/exprArity`.
     106 * `type-nats`: This is subsumed by functionality already on `master`, and the current work on this is happening on `wip/ext-solver`.
     107
     108 * `decision-procedure`: This is an earlier version of `wip/ext-solver`.
     109
     110 * `better-ho-cardinality`: Authored by Simon PJ, merged by Joachim while working on the demand analyser with the exception of the patch in `wip/exprArity`.