Changes between Version 29 and Version 30 of ActiveBranches
- May 4, 2014 5:09:09 PM (19 months ago)
v29 v30 7 7 * `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]. 8 8 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 10 11 11 12 * `simd`: '''SIMD support'''. Geoffrey Mainland. This extends the simple SIMD support in GHC HEAD, and is slated for 7.8. … … 103 104 * `type-nats-simple`: Derived from `type-nats`, intended for eventually being merged into `master`, slated for 7.8. 104 105 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`.