2007-10-16 |
simonpj@microsoft.com | Show inlined function in the header of 'Inlining done... |
tree | commitdiff |
2007-10-16 |
simonpj@microsoft.com | Show program size in the simplifier-bailing-out message |
tree | commitdiff |
2007-10-09 |
Simon Marlow | small reworking of the loop-breaker-choosing algorithm |
tree | commitdiff |
2007-10-01 |
Manuel M T Chakravarty | FIX #1738: KPush rule of FC must take dataConEqTheta... |
tree | commitdiff |
2007-09-20 |
simonpj@microsoft.com | Fix Trac #1718: interaction of error, unlifted tuples... |
tree | commitdiff |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
tree | commitdiff |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
tree | commitdiff |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
tree | commitdiff |
2007-08-10 |
Ian Lynagh | Follow Array changes (adding numElements field) |
tree | commitdiff |
2007-08-23 |
simonpj@microsoft.com | Improve handling of inline pragmas, esp where type... |
tree | commitdiff |
2007-08-16 |
Ian Lynagh | Replace _scc_'s in the GHC source with SCC pragmas |
tree | commitdiff |
2007-08-09 |
simonpj@microsoft.com | Better scoring for loop breakers; fixes simplifier... |
tree | commitdiff |
2007-07-16 |
Roman Leshchinskiy | Make vectorisation part of the optimiser pipeline |
tree | commitdiff |
2007-07-02 |
Ian Lynagh | Remove mapAccumL, mapAccumR, mapAccumB |
tree | commitdiff |
2007-07-02 |
simonpj@microsoft.com | Try harder to avoid making a variable with RULES into... |
tree | commitdiff |
2007-06-29 |
simonpj@microsoft.com | Improve loop-breaker scoring in OccAnal (idea from... |
tree | commitdiff |
2007-06-20 |
simonpj@microsoft.com | Fix egregious sharing bug in LiberateCase |
tree | commitdiff |
2007-06-05 |
simonpj@microsoft.com | Typo in comments |
tree | commitdiff |
2007-05-23 |
simonpj@microsoft.com | Improve the interaction of 'seq' and associated data... |
tree | commitdiff |
2007-05-14 |
Manuel M T Chakravarty | Revised signature of tcLookupFamInst and lookupFamInstEnv |
tree | commitdiff |
2007-05-11 |
simonpj@microsoft.com | Correct an egregious typo in LiberateCase that emascula... |
tree | commitdiff |
2007-05-10 |
Michael D. Adams | Warning fix for unused and redundant imports |
tree | commitdiff |
2007-05-09 |
simonpj@microsoft.com | Two more small bugs in abstractFloats |
tree | commitdiff |
2007-05-09 |
simonpj@microsoft.com | Fix a bug in (the new function) SimplUtils.abstractFloats |
tree | commitdiff |
2007-05-09 |
simonpj@microsoft.com | Improve full laziness by floating allocations out of... |
tree | commitdiff |
2007-05-07 |
simonpj@microsoft.com | Make let-floating work even if there are big lambdas... |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | Warning police |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | Make -frewrite-rules into a dynamic flag; off for -O0 |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | Fix the pruning of dead case alternatives |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | Warning police |
tree | commitdiff |
2007-05-03 |
simonpj@microsoft.com | Less voluminous debug |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Improve hashing of expressions for CSE (reduces warning... |
tree | commitdiff |
2007-05-01 |
andy@galois.com | Stopping tick boxes for being removed round calls to... |
tree | commitdiff |
2007-04-06 |
Ian Lynagh | Remove code that is dead, as we require __GLASGOW_HASKE... |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Fix case-merge bug that was breaking the HEAD |
tree | commitdiff |
2007-02-09 |
simonpj@microsoft.com | Major improvement to SpecConstr |
tree | commitdiff |
2007-02-09 |
simonpj@microsoft.com | Refactor the simplifier's treatment of case expressions |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Implement the PushT rule from the FC paper |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Improve handling of partial applications involving... |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Float casts out of lambdas |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Use exprIsCheap in floating, just as the simplifier... |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | One more wibble to FloatOut, fixes HEAD breakage (I... |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | Don't dump floated bindings just outside a lambda |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | Reset the demand info on bindings going to top level... |
tree | commitdiff |
2007-01-31 |
simonpj@microsoft.com | Use Id.isStrictId |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Wibble |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Add -ddump-rule-firings |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Comments |
tree | commitdiff |
2007-01-10 |
simonpj@microsoft.com | Correct spelling |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Make the LiberateCase transformation understand associa... |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Comments |
tree | commitdiff |
2007-01-10 |
simonpj@microsoft.com | Fix apparently-long-standing bug in FloatIn |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Record-ise the liberate-case envt, in preparation for... |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix bug in cast optimisation; fixes Trac #995 |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
tree | commitdiff |
2006-12-12 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Add comments, plus fix zapFragileInfo to zap worker... |
tree | commitdiff |
2006-12-06 |
simonpj@microsoft.com | Improve dependency analysis; makes more dictionaries... |
tree | commitdiff |
2006-11-29 |
simonpj@microsoft.com | Improve the loop-breaking heuristics |
tree | commitdiff |
2006-11-29 |
andy@galois.com | TickBox representation change |
tree | commitdiff |
2006-11-28 |
Kirsten Chevalier | retain arity for let-bound vars in simplifier |
tree | commitdiff |
2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
tree | commitdiff |
2006-11-04 |
Samuel Bronson | Fix up .lhs delimiters a bit |
tree | commitdiff |
2006-11-06 |
simonpj@microsoft.com | Various debugging print changes; nothing exciting |
tree | commitdiff |
2006-11-06 |
simonpj@microsoft.com | Tidy up substitutions |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier |
tree | commitdiff |
2006-10-24 |
andy@galois.com | Haskell Program Coverage |
tree | commitdiff |
2006-10-18 |
simonpj@microsoft.com | Spelling in comment |
tree | commitdiff |
2006-10-16 |
Samuel Bronson | Don't squish "Inlined fn" into the right margin quite... |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Yet another fix to mkAtomicArgs (for floating of casts) |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Correct the float-coercions-out-of-let patch |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Float coercions out of lets |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Remove unused argument to mkAtomicArgs |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Comments and layout |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Remove unused OccInfo (simplification) |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Take 2 on the recursive-rule fix |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Take advantage of non-rec-ness in occurrence analysis... |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Improve liberate-case to take account of coercions |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Eliminate case-of-cast |
tree | commitdiff |
2006-10-03 |
simonpj@microsoft.com | Make recursion and RULES interact better |
tree | commitdiff |
2006-09-27 |
simonpj@microsoft.com | Fix exprIsConApp_maybe (wasn't dealing properly with... |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Clean up and refactor in SimplUtils.mkCase1 (identity... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxe... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix big-lambda eta expansion, add comments |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
tree | commitdiff |
2006-09-19 |
Manuel M T Chakravarty | Adapt Simplify to conditional envs |
tree | commitdiff |
2006-09-19 |
Manuel M T Chakravarty | Adapt SimplUtils.getContArgs to conditional SubstEnv |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | fix out-of-scope variable |
tree | commitdiff |
2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
2006-08-09 |
simonpj@microsoft.com | Change ASSERT to WARN |
tree | commitdiff |
2006-08-01 |
kevind@bu.edu | Add missing Cast cases to libCase and scExpr |
tree | commitdiff |
next |