Add Travis-CI `.travis.yml` script
[packages/hoopl.git] / src /
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.
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 'check' target for mkfiles in subdirectories
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 Ramseynotes on 3.8.x.x
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...
next