2010-09-15 |
Ian Lynagh | Fix typo |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Implement INLINABLE pragma |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2010-09-14 |
Ian Lynagh | Remove (most of) the FiniteMap wrapper |
tree | commitdiff |
2010-09-14 |
simonpj@microsoft.com | Move error-ids to MkCore (from PrelRules) |
tree | commitdiff |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
tree | commitdiff |
2010-09-09 |
simonpj@microsoft.com | Fix simplifier statistics |
tree | commitdiff |
2010-09-08 |
simonpj@microsoft.com | Better debug output |
tree | commitdiff |
2010-09-08 |
simonpj@microsoft.com | Add Outputable instance for OccEncl |
tree | commitdiff |
2010-09-07 |
simonpj@microsoft.com | Better simplifier counting |
tree | commitdiff |
2010-08-19 |
simonpj@microsoft.com | Be a bit less aggressive in mark-many inside a cast |
tree | commitdiff |
2010-07-27 |
simonpj@microsoft.com | Improvement to SimplUtils.mkLam |
tree | commitdiff |
2010-07-27 |
simonpj@microsoft.com | Suppress warnings about recursive INLINE in output... |
tree | commitdiff |
2010-08-13 |
simonpj@microsoft.com | Modify FloatOut to fix Trac #4237 |
tree | commitdiff |
2010-08-13 |
simonpj@microsoft.com | Fix egregious bug in SetLevels.notWorthFloating |
tree | commitdiff |
2010-08-12 |
simonpj@microsoft.com | Comments |
tree | commitdiff |
2010-08-12 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2010-05-31 |
simonpj@microsoft.com | Robustify the treatement of DFunUnfolding |
tree | commitdiff |
2010-06-14 |
simonpj@microsoft.com | Fix spelling in comment |
tree | commitdiff |
2010-05-03 |
Simon PJ | Make the demand analyser take account of lambda-bound... |
tree | commitdiff |
2010-04-23 |
Simon Marlow | reinstate eta-expansion during SimplGently, to fix... |
tree | commitdiff |
2010-03-20 |
Ian Lynagh | Remove LazyUniqFM; fixes trac #3880 |
tree | commitdiff |
2010-03-05 |
simonpj@microsoft.com | Fix Trac #3736: do not preInlineUnconditionally with... |
tree | commitdiff |
2010-02-10 |
simonpj@microsoft.com | Stop fruitless ANF-ing |
tree | commitdiff |
2010-01-06 |
simonpj@microsoft.com | Improve the handling of default methods |
tree | commitdiff |
2010-01-05 |
simonpj@microsoft.com | Very minor refactoring |
tree | commitdiff |
2009-12-24 |
simonpj@microsoft.com | Continue refactoring the core-to-core pipeline |
tree | commitdiff |
2009-12-24 |
simonpj@microsoft.com | A bunch of stuff relating to substitutions on core |
tree | commitdiff |
2009-12-22 |
simonpj@microsoft.com | Print out a bit more info with the "arity decrease... |
tree | commitdiff |
2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation |
tree | commitdiff |
2009-12-18 |
simonpj@microsoft.com | Move all the CoreToDo stuff into CoreMonad |
tree | commitdiff |
2009-12-18 |
simonpj@microsoft.com | Make -ddump-inlinings and -ddump-rule-firings less... |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Adjust Activations for specialise and work/wrap, and... |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Two improvements to optCoercion |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2009-12-11 |
simonpj@microsoft.com | Use full equality for CSE |
tree | commitdiff |
2009-12-11 |
simonpj@microsoft.com | Bottom extraction: float out bottoming expressions... |
tree | commitdiff |
2009-12-08 |
simonpj@microsoft.com | Make -ddump-simpl-stats a bit more informative by default |
tree | commitdiff |
2009-12-08 |
simonpj@microsoft.com | Improve dumping for rules, and documentation of same |
tree | commitdiff |
2009-12-07 |
simonpj@microsoft.com | Minor refactoring to remove redundant code |
tree | commitdiff |
2009-12-07 |
simonpj@microsoft.com | Fix a nasty (and long-standing) FloatOut performance bug |
tree | commitdiff |
2009-12-07 |
simonpj@microsoft.com | Comments only, about RULE plumbing |
tree | commitdiff |
2009-12-04 |
simonpj@microsoft.com | Use addToUFM_Acc where appropriate |
tree | commitdiff |
2009-12-04 |
Roman Leshchinskiy | Fix loading of annotations |
tree | commitdiff |
2009-12-02 |
simonpj@microsoft.com | More work on the simplifier's inlining strategies |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Remove the (very) old strictness analyser |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Implement -fexpose-all-unfoldings, and fix a non-termin... |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Re-implement the binder-swap stuff in OccurAnal |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Try harder not to make DFuns into loop breakers |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Refactor case-merging and identical-alternative optimis... |
tree | commitdiff |
2009-11-17 |
simonpj@microsoft.com | Apply RULES to simplified arguments |
tree | commitdiff |
2009-11-10 |
simonpj@microsoft.com | Wibbles to the inline-in-InlineRule stuff |
tree | commitdiff |
2009-11-10 |
simonpj@microsoft.com | Don't inline a loop breaker, even if it has an INLINE... |
tree | commitdiff |
2009-11-10 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2009-11-10 |
simonpj@microsoft.com | Implement the PushC rule when optimising casts |
tree | commitdiff |
2009-11-10 |
simonpj@microsoft.com | Preserve strictness when floating coercions |
tree | commitdiff |
2009-11-06 |
simonpj@microsoft.com | Comments in OccurAnal |
tree | commitdiff |
2009-11-09 |
simonpj@microsoft.com | Remove dead code |
tree | commitdiff |
2009-11-09 |
simonpj@microsoft.com | Allow inlining in "SimplGentle" mode |
tree | commitdiff |
2009-11-05 |
simonpj@microsoft.com | Be a tiny bit keener to inline in the RHS of a let |
tree | commitdiff |
2009-11-05 |
simonpj@microsoft.com | Another refactoring on the shape of an Unfolding |
tree | commitdiff |
2009-11-04 |
simonpj@microsoft.com | Comment only |
tree | commitdiff |
2009-11-05 |
simonpj@microsoft.com | Comments only, relating to Roman's new built-in rule... |
tree | commitdiff |
2009-11-04 |
Roman Leshchinskiy | Add builtin rule to eliminate unnecessary casts in seq |
tree | commitdiff |
2009-11-02 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2009-10-30 |
simonpj@microsoft.com | Be less noisy in a debug trace (Arity decrease) |
tree | commitdiff |
2009-10-30 |
simonpj@microsoft.com | Improve coercion optimisation |
tree | commitdiff |
2009-10-30 |
Roman Leshchinskiy | Don't dump Core after every simplifier iteration with... |
tree | commitdiff |
2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
tree | commitdiff |
2009-10-29 |
simonpj@microsoft.com | Add Outputable.blankLine and use it |
tree | commitdiff |
2009-10-29 |
Roman Leshchinskiy | Add support for NoSpecConstr annotation |
tree | commitdiff |
2009-10-29 |
Roman Leshchinskiy | Utility functions for annotations |
tree | commitdiff |
2009-10-26 |
simonpj@microsoft.com | Add a coercion optimiser, to reduce the size of coercio... |
tree | commitdiff |
2009-09-11 |
simonpj@microsoft.com | Improve optimisation of cost centres |
tree | commitdiff |
2009-07-24 |
Ian Lynagh | Remove GHC's haskell98 dependency |
tree | commitdiff |
2009-06-18 |
t-peterj@microsoft.com | Comment fix: use the same variable names in the conclus... |
tree | commitdiff |
2009-07-07 |
Ian Lynagh | Remove unused imports |
tree | commitdiff |
2009-06-03 |
simonpj@microsoft.com | Allow RULES for seq, and exploit them |
tree | commitdiff |
2009-05-24 |
Ian Lynagh | Remove legacy code that isn't used now that we require... |
tree | commitdiff |
2009-04-24 |
simonpj@microsoft.com | Don't short out top-level indirections if there's a... |
tree | commitdiff |
2009-04-03 |
simonpj@microsoft.com | Adjust inlining heursitics |
tree | commitdiff |
2009-04-02 |
simonpj@microsoft.com | Don't float case expressions in full laziness |
tree | commitdiff |
2009-04-02 |
simonpj@microsoft.com | Fix Trac #3118: missing alternative |
tree | commitdiff |
2009-04-02 |
simonpj@microsoft.com | Fix pragmas in binder-swapping |
tree | commitdiff |
2009-03-25 |
simonpj@microsoft.com | Improve mkDupableCont; and fix Trac #3116 |
tree | commitdiff |
2009-03-23 |
simonpj@microsoft.com | Avoid quadratic complexity in occurrence analysis ... |
tree | commitdiff |
2009-03-23 |
simonpj@microsoft.com | Improve arity propagation in the specialiser |
tree | commitdiff |
2009-03-18 |
simonpj@microsoft.com | Add the notion of "constructor-like" Ids for rule-matching |
tree | commitdiff |
2009-02-04 |
simonpj@microsoft.com | Improve transferPolyIdInfo for value-arg abstraction |
tree | commitdiff |
2009-02-04 |
simonpj@microsoft.com | Two small improvements to LiberateCase |
tree | commitdiff |
2009-01-13 |
simonpj@microsoft.com | Rewrite CorePrep and improve eta expansion |
tree | commitdiff |
2009-01-02 |
simonpj@microsoft.com | Make record selectors into ordinary functions |
tree | commitdiff |
2008-12-16 |
Simon Marlow | UNDO: Add -fpass-case-bndr-to-join-points |
tree | commitdiff |
2008-12-16 |
Simon Marlow | Rollback INLINE patches |
tree | commitdiff |
2008-12-08 |
simonpj@microsoft.com | Inject implicit bindings after CoreTidy, not before... |
tree | commitdiff |
2008-12-08 |
simonpj@microsoft.com | White space only |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Add -fpass-case-bndr-to-join-points |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Comments only in OccurAnal |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
next |