2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
blob | commitdiff |
2009-10-26 |
simonpj@microsoft.com | Add a coercion optimiser, to reduce the size of coercio... |
blob | commitdiff | diff to current |
2009-09-11 |
simonpj@microsoft.com | Improve optimisation of cost centres |
blob | commitdiff | diff to current |
2009-06-18 |
t-peterj@microsoft.com | Comment fix: use the same variable names in the conclus... |
blob | commitdiff | diff to current |
2009-06-03 |
simonpj@microsoft.com | Allow RULES for seq, and exploit them |
blob | commitdiff | diff to current |
2009-04-02 |
simonpj@microsoft.com | Fix Trac #3118: missing alternative |
blob | commitdiff | diff to current |
2009-03-25 |
simonpj@microsoft.com | Improve mkDupableCont; and fix Trac #3116 |
blob | commitdiff | diff to current |
2009-03-23 |
simonpj@microsoft.com | Improve arity propagation in the specialiser |
blob | commitdiff | diff to current |
2009-03-18 |
simonpj@microsoft.com | Add the notion of "constructor-like" Ids for rule-matching |
blob | commitdiff | diff to current |
2009-01-13 |
simonpj@microsoft.com | Rewrite CorePrep and improve eta expansion |
blob | commitdiff | diff to current |
2008-12-16 |
Simon Marlow | UNDO: Add -fpass-case-bndr-to-join-points |
blob | commitdiff | diff to current |
2008-12-16 |
Simon Marlow | Rollback INLINE patches |
blob | commitdiff | diff to current |
2008-12-08 |
simonpj@microsoft.com | White space only |
blob | commitdiff | diff to current |
2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
blob | commitdiff | diff to current |
2008-12-05 |
simonpj@microsoft.com | Add -fpass-case-bndr-to-join-points |
blob | commitdiff | diff to current |
2008-10-02 |
simonpj@microsoft.com | Minor refactoring only |
blob | commitdiff | diff to current |
2008-09-20 |
simonpj@microsoft.com | Tidy up the treatment of dead binders |
blob | commitdiff | diff to current |
2008-09-18 |
simonpj@microsoft.com | Add a missing "prime" (env' --> env'') thereby fixing... |
blob | commitdiff | diff to current |
2008-09-17 |
simonpj@microsoft.com | Add extra WARN test |
blob | commitdiff | diff to current |
2008-09-14 |
simonpj@microsoft.com | Comments, and a couple of asserts, only |
blob | commitdiff | diff to current |
2008-09-05 |
simonpj@microsoft.com | Retain unfoldings even with SimplGently |
blob | commitdiff | diff to current |
2008-09-03 |
simonpj@microsoft.com | Improved specialisation of recursive groups |
blob | commitdiff | diff to current |
2008-07-31 |
Max Bolingbroke | Follow Literal change in Simplify |
blob | commitdiff | diff to current |
2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
blob | commitdiff | diff to current |
2008-06-17 |
Simon Marlow | Fix an example where we weren't doing case-of-case... |
blob | commitdiff | diff to current |
2008-06-14 |
simonpj@microsoft.com | Fix nasty Simplifier scoping bug |
blob | commitdiff | diff to current |
2008-06-05 |
simonpj@microsoft.com | Add non-recursive let-bindings for types |
blob | commitdiff | diff to current |
2008-05-16 |
simonpj@microsoft.com | Improve the treatment of 'seq' (Trac #2273) |
blob | commitdiff | diff to current |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Simplify |
blob | commitdiff | diff to current |
2008-04-22 |
simonpj@microsoft.com | Simplify SimplCont, plus some other small changes to... |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
2008-02-22 |
Ian Lynagh | Fix warnings in Simplify |
blob | commitdiff | diff to current |
2008-02-22 |
Ian Lynagh | Whitespace |
blob | commitdiff | diff to current |
2008-02-07 |
simonpj@microsoft.com | Redo inlining patch, plus some tidying up |
blob | commitdiff | diff to current |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/Simplify: use do and return |
blob | commitdiff | diff to current |
2008-01-17 |
simonpj@microsoft.com | Record evaluated-ness information correctly for strict... |
blob | commitdiff | diff to current |
2007-12-20 |
simonpj@microsoft.com | Fix Trac #1988; keep the ru_fn field of a RULE up to... |
blob | commitdiff | diff to current |
2007-12-04 |
simonpj@microsoft.com | Improve inlining for INLINE non-functions |
blob | commitdiff | diff to current |
2007-11-15 |
simonpj@microsoft.com | Make SpecConstr work again |
blob | commitdiff | diff to current |
2007-11-05 |
simonpj@microsoft.com | Fix an old but subtle bug in the Simplifier |
blob | commitdiff | diff to current |
2007-10-30 |
simonpj@microsoft.com | FIX BUILD: a glitch in the new rules and inlining stuff |
blob | commitdiff | diff to current |
2007-10-29 |
simonpj@microsoft.com | Substantial improvement to the interaction of RULES... |
blob | commitdiff | diff to current |
2007-10-16 |
simonpj@microsoft.com | Show inlined function in the header of 'Inlining done... |
blob | commitdiff | diff to current |
2007-10-01 |
Manuel M T Chakravarty | FIX #1738: KPush rule of FC must take dataConEqTheta... |
blob | commitdiff | diff to current |
2007-09-20 |
simonpj@microsoft.com | Fix Trac #1718: interaction of error, unlifted tuples... |
blob | commitdiff | diff to current |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
blob | commitdiff | diff to current |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
blob | commitdiff | diff to current |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
blob | commitdiff | diff to current |
2007-08-23 |
simonpj@microsoft.com | Improve handling of inline pragmas, esp where type... |
blob | commitdiff | diff to current |
2007-07-02 |
simonpj@microsoft.com | Try harder to avoid making a variable with RULES into... |
blob | commitdiff | diff to current |
2007-05-23 |
simonpj@microsoft.com | Improve the interaction of 'seq' and associated data... |
blob | commitdiff | diff to current |
2007-05-09 |
simonpj@microsoft.com | Two more small bugs in abstractFloats |
blob | commitdiff | diff to current |
2007-05-07 |
simonpj@microsoft.com | Make let-floating work even if there are big lambdas... |
blob | commitdiff | diff to current |
2007-05-04 |
simonpj@microsoft.com | Make -frewrite-rules into a dynamic flag; off for -O0 |
blob | commitdiff | diff to current |
2007-05-04 |
simonpj@microsoft.com | Warning police |
blob | commitdiff | diff to current |
2007-05-01 |
andy@galois.com | Stopping tick boxes for being removed round calls to... |
blob | commitdiff | diff to current |
2007-02-09 |
simonpj@microsoft.com | Refactor the simplifier's treatment of case expressions |
blob | commitdiff | diff to current |
2007-02-05 |
simonpj@microsoft.com | Implement the PushT rule from the FC paper |
blob | commitdiff | diff to current |
2007-02-05 |
simonpj@microsoft.com | Improve handling of partial applications involving... |
blob | commitdiff | diff to current |
2007-01-31 |
simonpj@microsoft.com | Use Id.isStrictId |
blob | commitdiff | diff to current |
2007-01-11 |
simonpj@microsoft.com | Wibble |
blob | commitdiff | diff to current |
2007-01-11 |
simonpj@microsoft.com | Add -ddump-rule-firings |
blob | commitdiff | diff to current |
2007-01-11 |
simonpj@microsoft.com | Comments |
blob | commitdiff | diff to current |
2007-01-10 |
simonpj@microsoft.com | Correct spelling |
blob | commitdiff | diff to current |
2007-01-11 |
simonpj@microsoft.com | Comments |
blob | commitdiff | diff to current |
2007-01-03 |
simonpj@microsoft.com | Fix bug in cast optimisation; fixes Trac #995 |
blob | commitdiff | diff to current |
2006-11-29 |
andy@galois.com | TickBox representation change |
blob | commitdiff | diff to current |
2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
blob | commitdiff | diff to current |
2006-11-06 |
simonpj@microsoft.com | Various debugging print changes; nothing exciting |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier |
blob | commitdiff | diff to current |
2006-10-24 |
andy@galois.com | Haskell Program Coverage |
blob | commitdiff | diff to current |
2006-10-16 |
Samuel Bronson | Don't squish "Inlined fn" into the right margin quite... |
blob | commitdiff | diff to current |
2006-10-06 |
simonpj@microsoft.com | Yet another fix to mkAtomicArgs (for floating of casts) |
blob | commitdiff | diff to current |
2006-10-05 |
simonpj@microsoft.com | Correct the float-coercions-out-of-let patch |
blob | commitdiff | diff to current |
2006-10-05 |
simonpj@microsoft.com | Float coercions out of lets |
blob | commitdiff | diff to current |
2006-10-05 |
simonpj@microsoft.com | Remove unused argument to mkAtomicArgs |
blob | commitdiff | diff to current |
2006-10-05 |
simonpj@microsoft.com | Comments and layout |
blob | commitdiff | diff to current |
2006-10-05 |
simonpj@microsoft.com | Remove unused OccInfo (simplification) |
blob | commitdiff | diff to current |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea |
blob | commitdiff | diff to current |
2006-10-04 |
simonpj@microsoft.com | Eliminate case-of-cast |
blob | commitdiff | diff to current |
2006-10-03 |
simonpj@microsoft.com | Make recursion and RULES interact better |
blob | commitdiff | diff to current |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxe... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | fix big-lambda eta expansion, add comments |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
blob | commitdiff | diff to current |
2006-09-19 |
Manuel M T Chakravarty | Adapt Simplify to conditional envs |
blob | commitdiff | diff to current |
2006-09-18 |
Manuel M T Chakravarty | fix out-of-scope variable |
blob | commitdiff | diff to current |
2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-08-09 |
simonpj@microsoft.com | Change ASSERT to WARN |
blob | commitdiff | diff to current |
2006-08-16 |
simonpj@microsoft.com | Get dead-ness right in knownCon |
blob | commitdiff | diff to current |
2006-08-16 |
simonpj@microsoft.com | Re-factor mkAtomicArgs and completeNonRecX |
blob | commitdiff | diff to current |
2006-08-16 |
simonpj@microsoft.com | Another try at the continuation-swapping stuff |
blob | commitdiff | diff to current |
2006-08-16 |
simonpj@microsoft.com | Don't build unnecessary lets in knownCon |
blob | commitdiff | diff to current |
2006-08-16 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2006-08-15 |
simonpj@microsoft.com | Typo in patch that dealt with duplicating continuations... |
blob | commitdiff | diff to current |
2006-08-14 |
simonpj@microsoft.com | Be more conservative about duplicating continuations |
blob | commitdiff | diff to current |
2006-08-10 |
simonpj@microsoft.com | Add an IAmDead case to postInlineUnconditionally, and... |
blob | commitdiff | diff to current |
2006-08-10 |
simonpj@microsoft.com | Do not repeatedly simplify an argument more than once |
blob | commitdiff | diff to current |
next |