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 |
2008-04-22 |
Ian Lynagh | (F)SLIT -> (f)sLit in SimplUtils |
tree | commitdiff |
2008-04-22 |
Ian Lynagh | Change the last few (F)SLIT's into (f)sLit's |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in CSE |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Simplify |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in SimplEnv |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in FloatOut |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in SimplMonad |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Simplify SimplCont, plus some other small changes to... |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Comments only in SimplCore |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Fix a long-standing bug in FloatOut |
tree | commitdiff |
2008-04-11 |
simonpj@microsoft.com | Revive the static argument transformation |
tree | commitdiff |
2008-04-11 |
simonpj@microsoft.com | Transfer strictness and arity info when abstracting... |
tree | commitdiff |
2008-04-03 |
simonpj@microsoft.com | Fix simplifier thrashing |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | DEBUG removal |
tree | commitdiff |
2008-03-05 |
simonpj@microsoft.com | Refactor OccAnal; and improve dead-code elimination |
tree | commitdiff |
2008-02-20 |
Ian Lynagh | Whitespace |
tree | commitdiff |
2008-02-22 |
Ian Lynagh | Fix warnings in Simplify |
tree | commitdiff |
2008-02-22 |
Ian Lynagh | Whitespace |
tree | commitdiff |
2008-02-19 |
Ian Lynagh | Typo |
tree | commitdiff |
2008-02-07 |
Ian Lynagh | Make some more modules use LazyUniqFM instead of UniqFM |
tree | commitdiff |
2008-02-12 |
Roman Leshchinskiy | Fix typo in message |
tree | commitdiff |
2008-02-11 |
Roman Leshchinskiy | Symbolic tags for simplifier phases |
tree | commitdiff |
2008-02-11 |
Roman Leshchinskiy | Allow -ddump-simpl-phases to specify which phases to... |
tree | commitdiff |
2008-02-07 |
simonpj@microsoft.com | Redo inlining patch, plus some tidying up |
tree | commitdiff |
2008-02-07 |
Ian Lynagh | Make some more modules use LazyUniqFM instead of UniqFM |
tree | commitdiff |
2008-02-05 |
simonpj@microsoft.com | Inject implicit bindings before the simplifier (Trac... |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in simplCore/CSE |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in simplCore/OccurAnal |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplMonad: custom monad functions... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplMonad: use MonadUnique instance... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SetLevels: use do, return, standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplUtils: use do, return, standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/Simplify: use do and return |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplEnv: use standard monad functions |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplCore: use do, return and standa... |
tree | commitdiff |
2008-01-21 |
simonpj@microsoft.com | Wibble to the OccurAnal fix for RULEs and loop-breakers |
tree | commitdiff |
2008-01-21 |
simonpj@microsoft.com | Make the loop-breaking algorithm a bit more liberal... |
tree | commitdiff |
2008-01-18 |
simonpj@microsoft.com | Wibble to SetLevels.abstractVars |
tree | commitdiff |
2008-01-17 |
Isaac Dupree | lots of portability changes (#1405) |
tree | commitdiff |
2008-01-17 |
simonpj@microsoft.com | Fix egregious error in earlier "Record evaluated-ness... |
tree | commitdiff |
2008-01-17 |
simonpj@microsoft.com | Record evaluated-ness information correctly for strict... |
tree | commitdiff |
2008-01-16 |
simonpj@microsoft.com | In float-out, make sure we abstract over the type varia... |
tree | commitdiff |
2008-01-16 |
simonpj@microsoft.com | Fix the -frule-check pass |
tree | commitdiff |
2008-01-07 |
simonpj@microsoft.com | Fix Trac #2018: float-out was ignoring the kind of... |
tree | commitdiff |
2008-01-04 |
simonpj@microsoft.com | White space and comments only |
tree | commitdiff |
2007-12-20 |
simonpj@microsoft.com | Fix Trac #1988; keep the ru_fn field of a RULE up to... |
tree | commitdiff |
2007-12-20 |
simonpj@microsoft.com | Remove obselete code for update-in-place (which we... |
tree | commitdiff |
2007-12-14 |
Roman Leshchinskiy | Separate and optional size thresholds for SpecConstr... |
tree | commitdiff |
2007-12-13 |
Roman Leshchinskiy | New flag: -ddump-simpl-phases |
tree | commitdiff |
2007-12-13 |
Roman Leshchinskiy | Don't dump simplifier iterations with -dverbose-core2core |
tree | commitdiff |
2007-12-04 |
simonpj@microsoft.com | Make eta reduction check more carefully for bottoms... |
tree | commitdiff |
2007-12-04 |
simonpj@microsoft.com | Improve inlining for INLINE non-functions |
tree | commitdiff |
2007-12-03 |
simonpj@microsoft.com | Improve eta reduction, to reduce Simplifier iterations |
tree | commitdiff |
2007-11-15 |
simonpj@microsoft.com | Make SpecConstr work again |
tree | commitdiff |
2007-11-12 |
simonpj@microsoft.com | Improve documentation of INLINE, esp its interactions... |
tree | commitdiff |
2007-11-08 |
simonpj@microsoft.com | Fix Trac #1654: propagate name changes into CoreRules |
tree | commitdiff |
2007-11-05 |
simonpj@microsoft.com | Wibble to earlier case-merge fix |
tree | commitdiff |
2007-11-05 |
simonpj@microsoft.com | Fix an old but subtle bug in the Simplifier |
tree | commitdiff |
2007-10-30 |
simonpj@microsoft.com | FIX BUILD: a glitch in the new rules and inlining stuff |
tree | commitdiff |
2007-10-29 |
simonpj@microsoft.com | Fix LiberateCase |
tree | commitdiff |
2007-10-29 |
simonpj@microsoft.com | Substantial improvement to the interaction of RULES... |
tree | commitdiff |
next |