very minor edits
[packages/hoopl.git] / src /
2010-06-11  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-11  Norman Ramseysmall improvements and consistencies
2010-06-11  Simon Peyton JonesReformat fixpoint code to 55 columns
2010-06-10  Norman Ramseyrenamed @joinWithTop'@ to @extendJoinDomain@.
2010-06-10  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-10  Norman Ramseychanged 'fmap' to 'liftM' where appropriate.
2010-06-10  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-10  Norman Ramseybug fix: take union of bodies with 'bodyUnion' (detects...
2010-06-10  Norman Ramseyfor consistency with paper, don't use Body constructor...
2010-06-10  Norman Ramsey'body' and its type, and fixpoint's type, are now extra...
2010-06-10  Norman Ramseywibbles and deletions, and a Direction type for fixpoint
2010-06-10  Norman Ramseyvarious minor revisions
2010-06-10  Norman Ramsey---> Eviscerate the previous treatment of functions...
2010-06-09  Norman RamseyResponses to some but not all \simon's.
2010-06-09  unknownMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-09  Simon Peyton JonesMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-08  Joao DiasYet another implementation of blockToNodeList, this...
2010-06-08  Norman Ramseyscrub old 'FwdRes' stuff; tests (such as they are)...
2010-06-08  Norman Ramseyrefactoring 'fixpoint' and other code for display in...
2010-06-08  Norman RamseyRenamed some types and functions to simplify explanatio...
2010-06-08  Norman RamseyFuel was (incorrectly) being consumed even when no...
2010-06-07  unknownMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-07  unknownMinor wibbles
2010-06-07  Norman RamseyThe 'Edges' type class is renamed 'NonLocal', and the...
2010-06-07  Norman RamseyClean up DataFlow lattice to be more readable and more...
2010-05-31  Simon Peyton JonesAdd comments on invariants of fixpoint loop
2010-05-19  Norman Ramseyduplicate John's fold using the Scott fold
2010-05-19  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-05-19  Norman RamseyscottFoldBlock is much nicer!
2010-05-19  Norman Ramseycomment mysterious newtypes
2010-05-19  Norman Ramseyclean up the grotesque block fold a little
2010-05-19  Norman Ramseysimplified fold by eliminating Trips datatype
2010-05-19  Norman Ramseyhorrible, horrible experiments with folds
2010-05-18  Milan StrakaAdding comment to blockToNodeList.
2010-05-17  Norman RamseyblockMapNodes and BlockMapNodes3 get their properly...
2010-05-17  Norman Ramseydeprecated more suspicious-looking functions
2010-05-17  Norman RamseyMoved 'joinOutFacts' to its proper place in XUtil and...
2010-05-17  Norman Ramseyremove old GNUmakefile
2010-05-16  Milan StrakaAdd bodyToBlockMap and bodyOfBlockMap.
2010-05-16  Milan StrakaAdd joinOutFacts function.
2010-05-16  Milan StrakaAdd blockToNodeList and blockOfNodeList.
2010-05-16  Milan StrakaAdd blockMapNodes and blockMapNodes3.
2010-05-16  Milan StrakaRename fold functions to use suffix 3.
2010-05-16  Milan StrakaRename mkUnique to intToUnique.
2010-05-14  Norman Ramseyadd an FAQ file
2010-05-12  Norman RamseyCleaned up combinator examples for the paper.
2010-05-12  Norman Ramseymore uniform label checking in graph splicing
2010-05-12  Norman Ramseyextract thenFwdRewrite from code for paper
2010-05-12  Norman RamseyConstant-propagation figure is now extracted automatica...
2010-05-12  Norman Ramseymove the historical record out of Dataflow.hs and into...
2010-05-12  Norman Ramseystart in on a more mnemonic naming scheme for combinators
2010-05-10  Norman Ramseynoted grotesque code discovered while working on the...
2010-05-10  Norman Ramseydetect a couple of places where duplicate labels might...
2010-05-07  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-05-05  Milan StrakaExporing Body and Block representation to GHC.
2010-05-04  Milan StrakaRewrites return the possible rewrite in the monad.
2010-05-04  Norman Ramseyadded cabal entry for DList module (oops)
2010-05-04  Norman RamseyExported ability to create new join functions (not...
2010-05-04  Norman RamseyExtended Dominators module with auxiliary function...
2010-05-04  Norman RamseyDominator algorithm without a newtype (for demonstratio...
2010-05-03  Milan StrakaRename methods of IsSet and IsMap.
2010-05-03  Milan StrakaMaking AGraph not depending on the monad type.
2010-05-03  Milan StrakaTemporarily exporting getFuel and setFuel for GHC.
2010-05-03  Milan StrakaRename HooplMonad to UniqueMonad.
2010-05-02  Milan StrakaRenamed getLabel to freshLabel.
2010-05-02  Milan StrakaAbstracting collections of Uniques and Labels.
2010-04-30  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-30  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-04-30  Norman RamseyCompiler.Hoopl.Pointed can no longer be imported by...
2010-04-30  Norman RamseyIn the new regime, Dominator now exports a FwdPass...
2010-04-30  Norman Ramseywork around bug in Haddock (no doco for GADT constructors)
2010-04-30  Norman Ramseyfix broken pattern match (missing cases)
2010-04-30  Norman Ramseyprovide convenience functions for analyzing graphs...
2010-04-30  Norman Ramseysignpost internal-only identifiers loud and clear
2010-04-30  Norman Ramseyexport SimpleFuelMonad for simple clients' use
2010-04-30  Norman RamseyALWAYS warn of incomplete pattern matches.
2010-04-30  Norman Ramseychange where Unique is exported (for saner Haddock...
2010-04-30  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-30  Joao DiasAdded function to lookup a block in a graph.
2010-04-30  Joao DiasComment for EitherCO type.
2010-04-30  Joao DiasExporting Body type (but not constructors).
2010-04-30  Norman Ramseycomments
2010-04-30  Norman RamseyAdded some technology by which clients could create...
2010-04-30  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-04-30  Norman Ramseythe Great Monad Generalization. An extra type parameter...
2010-04-30  Joao DiasMake body abstract for library clients.
2010-04-30  Joao DiasBody of graph converted to a map
2010-04-30  Milan StrakaFirst part of Uniques and Labels.
2010-04-29  Norman Ramseytried to fix Haddock errors; gave up as hopeless.
2010-04-29  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-04-29  Norman RamseyFold code for the forward case, nested.
2010-04-29  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-29  Joao DiasAdded block-folding functions. Code for backward and...
2010-04-29  Joao DiasAdded EitherCO type family to Hoopl. Maybe it should...
2010-04-29  Norman Ramseyadded Haddock documentation
2010-04-29  Norman Ramseyhid block constructors
2010-04-29  Norman Ramseyadded mkfile in src/Compiler
2010-04-29  Norman Ramseyrenamed { DataflowNest -> Dataflow, Dataflow -> OldData...
2010-04-29  Norman Ramseyrefactored backward data flow. No testing.
2010-04-29  Joao DiasMissing a useful type in the combinator interface.
next