refactoring 'fixpoint' and other code for display in paper
[packages/hoopl.git] / src / Compiler / Hoopl / Dataflow.hs
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  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-17  Norman RamseyMoved 'joinOutFacts' to its proper place in XUtil and...
2010-05-16  Milan StrakaAdd joinOutFacts function.
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-07  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-05-04  Milan StrakaRewrites return the possible rewrite in the monad.
2010-05-03  Milan StrakaRename methods of IsSet and IsMap.
2010-05-03  Milan StrakaMaking AGraph not depending on the monad type.
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 RamseyALWAYS warn of incomplete pattern matches.
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 Ramseythe Great Monad Generalization. An extra type parameter...
2010-04-30  Joao DiasBody of graph converted to a map
2010-04-29  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-29  Norman Ramseyrenamed { DataflowNest -> Dataflow, Dataflow -> OldData...
2010-04-24  Norman RamseyGeneralized the types of 'ar[fb]Cat', and simplified...
2010-04-24  Norman RamseyIntroduced type synonyms ARFX, ARFX', ARBX, ARBX';...
2010-04-23  Joao DiasCleaned up the observers for rewrites and transfers.
2010-04-23  Norman Ramseyexperimenting with terser Dataflow and Combinators
2010-04-23  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-23  Joao Dias[BF]wdRewrites is now abstract.
2010-04-23  Norman RamseyMerge branch 'master' into three-eight
2010-04-23  Joao DiasGave back the names First, Middle, and Last
2010-04-23  Joao DiasMissing joins after merge
2010-04-23  Norman RamseyMerge branch 'with-passes' into three-eight
2010-04-23  Norman RamseyMerge branch 'master' into three-eight (lost 'joinInFacts')
2010-04-23  Norman RamseyMerge branch 'master' of /home/nr/papers/simon/dfopt...
2010-04-22  Norman RamseyMerge branch 'master' of labrador:/home/nr/papers/simon...
2010-04-22  Joao DiasAdded a function to project the triples out of [FB...
2010-04-22  Joao DiasEliminated 'z' prefixes.
2010-04-22  Joao DiasZipDataflowNoRG -> DataFlow
2010-04-22  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-04-22  Joao DiasUpdated the debugging output.
2010-04-22  Norman Ramseyadded note about why logging field should stay in lattice
2010-04-21  Norman RamseyMerge branch 'master' of linux:/r/ghc/www/hoopl/hoopl...
2010-04-17  Norman RamseyMerge branch 'master' of /home/nr/papers/simon/dfopt...
2010-04-17  Norman RamseyDepressing note about ordering blocks for backward...
2010-04-17  Norman Ramseyfix botched 'backwardBlockList' (and give it a sane...
2010-04-17  Norman RamseyMerge branch 'master' of /home/nr/papers/simon/dfopt...
2010-04-17  Norman Ramseyforward and backward block lists now use reverse postor...
2010-04-17  Norman RamseyMerge branch 'master' into with-passes
2010-04-16  Norman Ramseyexport analyzeAndRewriteBwd' for graphs of any shape
2010-04-16  Norman RamseyMerge branch 'master' of labrador:/home/nr/papers/simon...
2010-04-16  Norman Ramseyexport the ability to analyze and rewrite a graph of...
2010-04-16  Norman RamseyMerge branch 'master' of labrador:/home/nr/papers/simon...
2010-04-16  Norman Ramseyneed to derive Eq as well as Ord
2010-04-16  Norman RamseyMerge branch 'master' of labrador:/home/nr/papers/simon...
2010-04-16  Norman Ramseyderiving (Ord ChangeFlag)
2010-04-16  Norman RamseyMerge branch 'master' of labrador:/home/nr/papers/simon...
2010-04-16  Norman RamseyMerge branch 'master' into with-passes
2010-04-16  Norman RamseyExposing arfGraph and normEX functions
2010-04-16  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-04-16  Joao DiasAdded a comment to explain a join with bottom that...
2010-04-16  Joao DiasAdded a Debug module, which provides a combinator to...
2010-04-16  Norman RamseyMerge branch 'master' into with-passes -- and add a...
2010-04-15  Norman RamseyThe AGraph type is now abstract.
2010-04-15  Norman RamseyMerge branch 'master' into with-passes
2010-04-15  Norman RamseySplit rewriting combinators into a separate module
2010-04-10  Norman RamseyInternally, replaced gCatAny with the very polymorphic...
2010-04-10  Norman RamseyExposed some missing identifiers.
2010-04-08  Norman RamseyAdded note to definition of data RG as per Simon's...
2010-04-07  Norman Ramseychanged interface to shallow/deep as per email from...
2010-04-07  Norman Ramseyfix lattice join function so old comes before new,
2010-04-07  Joao DiasAlong with the merge, the name Node was stolen from...
2010-04-07  Joao DiasBug fixes:
2010-04-07  Norman RamseyForward -> Fwd
2010-04-07  Norman Ramseydefine and export
2010-04-06  Norman Ramseyeliminated some (but not all) warnings from cabal install.
2010-04-05  Norman RamseyEliminated some compiler warnings.
2010-04-05  Norman RamseyReordered parts of the Dataflow module to put interface...
2010-04-05  Norman RamseySplit Hoopl7.hs into six modules.