summaryrefslogtreecommitdiff
path: root/compiler/simplCore/SAT.lhs
Commit message (Expand)AuthorAgeFilesLines
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-2/+2
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-231-1/+1
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-8/+15
* Follow GHC.Bool/GHC.Types mergeIan Lynagh2010-10-231-5/+5
* Remove (most of) the FiniteMap wrapperIan Lynagh2010-09-141-1/+1
* Remove unused importsIan Lynagh2009-07-071-2/+0
* Add (a) CoreM monad, (b) new Annotations featuresimonpj@microsoft.com2008-10-301-8/+3
* Split the Id related functions out from Var into Id, document Var and some of IdMax Bolingbroke2008-07-311-1/+1
* Fix Trac #2321: bug in SATsimonpj@microsoft.com2008-06-161-308/+312
* Change the last few (F)SLIT's into (f)sLit'sIan Lynagh2008-04-221-2/+2
* Revive the static argument transformationsimonpj@microsoft.com2008-04-111-160/+366
* Fix CodingStyle#Warnings URLsIan Lynagh2007-09-041-1/+1
* Use OPTIONS rather than OPTIONS_GHC for pragmasIan Lynagh2007-09-031-2/+2
* Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modulesIan Lynagh2007-09-011-0/+7
* Reorganisation of the source treeSimon Marlow2006-04-071-0/+214
View Lorry Controller Status