| Commit message (Expand) | Author | Age | Files | Lines |
* | Fix loading of annotations | Roman Leshchinskiy | 2009-12-04 | 1 | -4/+4 |
* | Add new ForceSpecConstr annotation | Roman Leshchinskiy | 2009-12-03 | 1 | -12/+36 |
* | More work on the simplifier's inlining strategies | simonpj@microsoft.com | 2009-12-02 | 2 | -108/+119 |
* | Remove the (very) old strictness analyser | simonpj@microsoft.com | 2009-11-19 | 1 | -3/+3 |
* | Implement -fexpose-all-unfoldings, and fix a non-termination bug | simonpj@microsoft.com | 2009-11-19 | 1 | -1/+1 |
* | Another refactoring on the shape of an Unfolding | simonpj@microsoft.com | 2009-11-05 | 1 | -12/+8 |
* | Fix the build with GHC 6.8 | Ian Lynagh | 2009-10-30 | 1 | -0/+4 |
* | The Big INLINE Patch: totally reorganise way that INLINE pragmas work | simonpj@microsoft.com | 2009-10-29 | 2 | -30/+61 |
* | Add support for NoSpecConstr annotation | Roman Leshchinskiy | 2009-10-29 | 1 | -26/+77 |
* | Fix Trac #3591: very tricky specialiser bug | simonpj@microsoft.com | 2009-10-23 | 1 | -180/+308 |
* | Fix Trac #3437: strictness of specialised functions | simonpj@microsoft.com | 2009-08-21 | 1 | -0/+44 |
* | Remove GHC's haskell98 dependency | Ian Lynagh | 2009-07-24 | 1 | -1/+1 |
* | Add missing case for eq_note. | t-peterj@microsoft.com | 2009-06-24 | 1 | -0/+1 |
* | Rename parameters to make debugging code compile. | t-peterj@microsoft.com | 2009-06-26 | 1 | -1/+1 |
* | Remove unused imports | Ian Lynagh | 2009-07-07 | 1 | -1/+0 |
* | Look through Notes when matching | simonpj@microsoft.com | 2009-07-02 | 1 | -8/+9 |
* | Fix Trac #3118: missing alternative | simonpj@microsoft.com | 2009-04-02 | 1 | -1/+3 |
* | Use a local interestingDict function instead of importing SimplUtils.interest... | simonpj@microsoft.com | 2009-04-02 | 1 | -8/+17 |
* | Improve arity propagation in the specialiser | simonpj@microsoft.com | 2009-03-23 | 1 | -4/+9 |
* | Add the notion of "constructor-like" Ids for rule-matching | simonpj@microsoft.com | 2009-03-18 | 2 | -123/+180 |
* | Do not do SpecConstr on functions that unconditionally diverge | simonpj@microsoft.com | 2009-01-13 | 1 | -2/+16 |
* | Fix warnings in Rules | Ian Lynagh | 2008-12-29 | 1 | -39/+33 |
* | Rollback INLINE patches | Simon Marlow | 2008-12-16 | 1 | -18/+15 |
* | Completely new treatment of INLINE pragmas (big patch) | simonpj@microsoft.com | 2008-12-05 | 1 | -15/+18 |
* | Add no-op case for addIdSpecialisations (very minor optimisation) | simonpj@microsoft.com | 2008-12-05 | 1 | -0/+2 |
* | Trim redundant import | simonpj@microsoft.com | 2008-12-05 | 1 | -1/+0 |
* | Add (a) CoreM monad, (b) new Annotations feature | simonpj@microsoft.com | 2008-10-30 | 3 | -45/+23 |
* | Zap dead-ness info appropriately in SpecConstr | simonpj@microsoft.com | 2008-10-02 | 1 | -14/+24 |
* | Improve warning for SpecConstr | simonpj@microsoft.com | 2008-09-15 | 1 | -4/+9 |
* | More specialiser wibbles | simonpj@microsoft.com | 2008-09-05 | 1 | -41/+79 |
* | Improved specialisation of recursive groups | simonpj@microsoft.com | 2008-09-03 | 2 | -143/+214 |
* | Only specialise on dictionaries that have some interesting structure | simonpj@microsoft.com | 2008-08-27 | 1 | -4/+17 |
* | Make rule printing wobble less | simonpj@microsoft.com | 2008-08-21 | 3 | -14/+27 |
* | Print tidy rules in user style, to avoid gratuitous uniques | simonpj@microsoft.com | 2008-08-11 | 2 | -2/+4 |
* | Minor refactoring; no functionality change | simonpj@microsoft.com | 2008-08-11 | 1 | -4/+8 |
* | Fix Trac #2486: restore the specialiser to a working state | simonpj@microsoft.com | 2008-08-09 | 1 | -2/+2 |
* | Document Rules | Max Bolingbroke | 2008-07-31 | 1 | -35/+69 |
* | Fix Haddock errors. | Thomas Schilling | 2008-07-20 | 1 | -7/+7 |
* | Remove a typo | Ian Lynagh | 2008-06-15 | 1 | -1/+1 |
* | Fix Trac #1969: perfomance bug in the specialiser | simonpj@microsoft.com | 2008-04-28 | 1 | -110/+115 |
* | (F)SLIT -> (f)sLit in Specialse | Ian Lynagh | 2008-04-12 | 1 | -1/+1 |
* | (F)SLIT -> (f)sLit in SpecConstr | Ian Lynagh | 2008-04-12 | 1 | -9/+9 |
* | (F)SLIT -> (f)sLit in Rules | Ian Lynagh | 2008-04-12 | 1 | -5/+5 |
* | Minor bug in SpecConstr | simonpj@microsoft.com | 2008-04-22 | 1 | -1/+3 |
* | Comments only | simonpj@microsoft.com | 2008-04-22 | 1 | -5/+7 |
* | Remove a #ifdef DEBUG | Ian Lynagh | 2008-03-29 | 1 | -5/+3 |
* | Remove an #ifdef DEBUG | Ian Lynagh | 2008-03-29 | 1 | -4/+1 |
* | Improve SpecConstr for local bindings: seed specialisation from the calls | simonpj@microsoft.com | 2008-03-06 | 1 | -62/+136 |
* | FIX BUILD with GHC 6.4.x | Simon Marlow | 2008-02-01 | 1 | -2/+2 |
* | Fix do-notation so that it works with -DDEBUG | simonpj@microsoft.com | 2008-01-25 | 1 | -3/+3 |