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 |
2008-07-31 |
Max Bolingbroke | Follow Literal change in Simplify |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Follow Digraph changes in OccurAnal |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Split the Id related functions out from Var into Id... |
tree | commitdiff |
2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
tree | commitdiff |
2008-07-20 |
Ian Lynagh | Properly comment out unused pragmas |
tree | commitdiff |
2008-07-02 |
Roman Leshchinskiy | Command-line options for selecting DPH backend |
tree | commitdiff |
2008-06-16 |
simonpj@microsoft.com | Fix Trac #2321: bug in SAT |
tree | commitdiff |
2008-06-17 |
Simon Marlow | Fix an example where we weren't doing case-of-case... |
tree | commitdiff |
2008-06-14 |
simonpj@microsoft.com | Fix nasty Simplifier scoping bug |
tree | commitdiff |
2008-06-05 |
simonpj@microsoft.com | Add non-recursive let-bindings for types |
tree | commitdiff |
2008-06-03 |
Simon Marlow | Turn "NOTE: Simplifier still going..." message into... |
tree | commitdiff |
2008-06-03 |
simonpj@microsoft.com | Shorten debug messages |
tree | commitdiff |
2008-05-28 |
Simon Marlow | Use MD5 checksums for recompilation checking (fixes... |
tree | commitdiff |
2008-05-16 |
simonpj@microsoft.com | Improve the treatment of 'seq' (Trac #2273) |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SimplEnv warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SimplUtils warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Remove a hack for GHC 3.03 in SimplMonad |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SimplMonad warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make LiberateCase warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make FloatOut warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make FloatIn warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SetLevels warning-free |
tree | commitdiff |
next |