Minor wibbles
[packages/hoopl.git] / src / Compiler /
2010-06-07  unknownMinor wibbles
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-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 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.
2010-04-29  Joao DiasAdded product combinators for forward and backward...
2010-04-29  Norman RamseyRefactored the entry plumbing again. Results consisten...
2010-04-28  Norman RamseyRefactored story about entry points to use more static...
2010-04-27  Norman RamseyAdded MaybeC type (although it is not yet used anywhere)
2010-04-27  Norman RamseySwitched to DataflowNest; reordered Haddock docs (nothi...
2010-04-27  Norman RamseyRefactoring forward analyses to eliminate type synonyms...
2010-04-27  Norman RamseyAdded dataflow module DataflowNest with nested function...
2010-04-26  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-04-26  Norman Ramseyadded notes on an evening's hacking
2010-04-26  Joao DiasSatisfying the type checker; generic liveness now compiles
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-24  Norman RamseyDataflow analysis using fold style instead of concatMap...
2010-04-23  Norman RamseyFirst cut at generic liveness analysis (does not build).
2010-04-23  Norman RamseyAdded utility functions 'distributedFactBwd' and 'succe...
2010-04-23  Norman RamseyUse 'WithTop' synonym where appropriate in Pointed.hs
2010-04-23  Norman Ramseytidied combinators
2010-04-23  Joao DiasCleanup on combinators.
2010-04-23  Joao DiasCleaned up the observers for rewrites and transfers.
2010-04-23  Joao DiasAdded map functions on factBases.
2010-04-23  Norman Ramseyexperimenting with terser Dataflow and Combinators
2010-04-23  Norman Ramseypull out and expose fold function over blocks
2010-04-23  Norman RamseyUsed some liberal type synonyms to make type signatures...
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 Ramseybrought in node-folding function from master branch
2010-04-23  Norman RamseyMerge branch 'master' into three-eight
2010-04-23  Norman RamseyAdded function to fold over nodes in graph.
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 Ramseyadjust to new world of Top, Bot, Pointed; use WithBot...
2010-04-23  Norman RamseyMerge branch 'with-passes' of /home/nr/papers/simon...
2010-04-23  Norman RamseyMerge branch 'master' of /home/nr/papers/simon/dfopt...
2010-04-23  Norman RamseyOverload graph constructors; add Haddock doco; sweep...
2010-04-22  Norman RamseyMerge branch 'master' of labrador:/home/nr/papers/simon...
2010-04-22  Norman RamseyAdd3ed Eq and Ord declarations for (Pointed t b a)...
2010-04-22  Norman RamseyHoopl 3.7.13.0: Pointed replaces WithTop and WithBok...
2010-04-22  Joao DiasMoved block-biasing code to GraphUtil.
2010-04-22  Joao DiasFirst hack at higher-order debugging functions for...
2010-04-22  Joao DiasAdded a function to project the triples out of [FB...
2010-04-22  Joao DiasComments to help explain debugging output.
2010-04-22  Joao DiasEliminated 'z' prefixes.
2010-04-22  Joao DiasZipDataflowNoRG -> DataFlow
2010-04-22  Joao Dias[BF]wdTransfer now an abstract type.
2010-04-22  Joao DiasAdded Eq on WithTop
2010-04-22  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-04-22  Joao DiasUpdated the debugging output.
2010-04-22  Joao DiasFwdTransfers and BwdTransfers as triples
2010-04-22  Norman Ramseyadded note about why logging field should stay in lattice
2010-04-22  Norman RamseyMerge branch 'with-passes' of /home/nr/papers/simon...
2010-04-22  Norman Ramseyfix haddock error
2010-04-22  Norman RamseyMerge commit 'local-master/master' into with-passes
2010-04-22  Norman Ramseyadded documentation and info to the change log
2010-04-22  Norman RamseyAdded utility functions for concatenating graphs and...
2010-04-22  Norman Ramseymore Haddock documentation for Pointed
2010-04-22  Norman RamseyMerge branch 'master' of /home/nr/papers/simon/dfopt...
next