| 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 |
| 2008-11-07 |
Simon Marlow | disable instance MonadPlus CoreM for GHC <= 6.6 |
tree | commitdiff |
| 2008-10-31 |
simonpj@microsoft.com | Fix imports |
tree | commitdiff |
| 2008-10-30 |
simonpj@microsoft.com | Add (a) CoreM monad, (b) new Annotations feature |
tree | commitdiff |
| 2008-10-28 |
simonpj@microsoft.com | Fix Trac #2720: inlining and casts |
tree | commitdiff |
| 2008-10-21 |
simonpj@microsoft.com | Don't float an expression wrapped in a cast |
tree | commitdiff |
| 2008-10-03 |
simonpj@microsoft.com | Make a debug check more refined |
tree | commitdiff |
| 2008-10-02 |
simonpj@microsoft.com | Make the new binder-swap stuff in OccurAnal work right... |
tree | commitdiff |
| 2008-10-02 |
simonpj@microsoft.com | Minor refactoring only |
tree | commitdiff |
| 2008-09-20 |
simonpj@microsoft.com | Tidy up the treatment of dead binders |
tree | commitdiff |
| 2008-09-18 |
simonpj@microsoft.com | Add a missing "prime" (env' --> env'') thereby fixing... |
tree | commitdiff |
| 2008-09-17 |
simonpj@microsoft.com | Fix nasty infelicity: do not short-cut empty substituti... |
tree | commitdiff |
| 2008-09-17 |
simonpj@microsoft.com | Avoid arity reduction when doing eta-reduce |
tree | commitdiff |
| 2008-09-17 |
simonpj@microsoft.com | Add extra WARN test |
tree | commitdiff |
| 2008-09-17 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
| 2008-09-14 |
simonpj@microsoft.com | Comments, and a couple of asserts, only |
tree | commitdiff |
| 2008-09-14 |
simonpj@microsoft.com | Don't try to float type-lets |
tree | commitdiff |
| 2008-09-09 |
simonpj@microsoft.com | Improve float-in somewhat |
tree | commitdiff |
| 2008-09-05 |
simonpj@microsoft.com | Retain unfoldings even with SimplGently |
tree | commitdiff |
| 2008-09-03 |
simonpj@microsoft.com | Improved specialisation of recursive groups |
tree | commitdiff |
| 2008-08-26 |
simonpj@microsoft.com | Fix flaggery for RULES (cf Trac #2497) |
tree | commitdiff |
| 2008-08-22 |
simonpj@microsoft.com | Fix a nasty float-in bug |
tree | commitdiff |
| 2008-08-11 |
simonpj@microsoft.com | Print tidy rules in user style, to avoid gratuitous... |
tree | commitdiff |
| 2008-08-07 |
Max Bolingbroke | Remove CoreSyn SOURCE imports |
tree | commitdiff |
| next |
projects / ghc-hetmet.git / history