Upgrade testing infrastructure to haskell-ci (#49)
[packages/hoopl.git] / src /
2017-02-11  Ning WangMerge branch 'fixdom' of https://github.com/brk/hoopl...
2017-02-11  Ben KarelImprove fix to handle irreducible CFGs.
2017-02-07  David FeuerUse non-deprecated Map and Set folds
2017-01-28  Erik de Castro LopoFix deprecation warnings from containers
2016-12-26  brkApply Safe Haskell flag for newer GHCs only.
2016-12-25  Ben KarelFix dominator join function.
2016-04-04  Ning WangMerge pull request #31 from bgamari/master
2016-03-30  Ben GamariAdd Functor, Foldable, Traversable instances for LabelMap
2016-01-18  Jan StolarekRemove unused files
2016-01-18  Alexander PankivRepo cleanup. Fixes #6
2015-12-06  Michał SośnickiPrefix unused type variables with an underscore.
2015-12-03  Ben GamariMerge pull request #19 from bgamari/master
2015-12-03  Ben GamariGuard redundant equations
2015-11-01  Herbert Valerio... Merge pull request #18 from hvr/pr/de-cpp
2015-10-31  Herbert Valerio... Get rid of `#if CABAL` conditionals
2015-10-17  Herbert Valerio... Rewrite Applicative/Monad instances into normal-form
2015-08-08  Ben GamariMerge pull request #13 from thomie/master
2015-08-08  Thomas MiedemaExport 'Showing' from Hoopl.Show
2015-05-05  Ning Wangsync up and mergewith upstream
2015-04-25  Ning Wangupdate changelog.md to include all the changes made...
2015-04-25  Ning Wang1. remove the dependency on mk to run the tests; 2...
2015-04-15  Andreas VoellmyRe-export runWithFuel.
2015-01-06  Simon Peyton JonesRemove redundant constraints, discovered by -fwarn...
2014-12-27  Herbert Valerio... avoid redundant import warnings
2014-11-13  David TereiMark a few modules as Safe rather than Trustworthy.
2014-04-22  Austin SeippDon't import Applicative explicitly
2013-10-25  Herbert Valerio... Add Functor/Applicative instances to silence AMP warnings
2013-10-25  Herbert Valerio... Update `LANGUAGE` pragma lists
2012-11-06  Norman RamseyMerge branch 'master' of /home/nr/tmp/hoopl-patched
2012-10-29  Bernhard UrbanSimpleUniqueMonad: define instance for Functor
2012-07-18  Simon Marlowadd mapFilter
2012-07-17  Simon Marlowsmall optimisations to blockSnoc and blockCons
2012-07-13  Ian LynaghFix build with GHC 7.0 ghc-7.6 ghc-7.6.1-release ghc-7.6.2-release ghc-7.6.3-release hoopl-
2012-07-06  Simon MarlowPut back the newtype around Label
2012-07-06  Simon MarlowRename BTail -> BCons, BHead -> BSnoc
2012-07-06  Simon Marlowadd TypeSynonymInstances
2012-07-05  Simon Marlowadd some missing exports
2012-07-05  Simon Marlowfix warnings
2012-07-04  Simon MarlowChange the block representation (version bumped to...
2012-04-21  Norman RamseyMerge branch 'ghc-7.4'
2012-04-21  Norman Ramseyre-export runWithFuel, as per Justin Bailey
2011-08-22  Simon Peyton JonesAdd a kind annotation on Graph'
2011-08-17  David TereiFix safe haskell issue with ghc 7.2.1
2011-08-15  David TereiUpdate hoopl to use Safe Haskell if GHC >= 7.2
2011-07-22  Norman Ramseyadded and exported liftFuel method of FuelMonadT
2011-07-18  Norman RamseyMerge branch 'master' of linux.cs.tufts.edu:/r/c--...
2011-07-18  Norman Ramseychange from Edward Yang to fix warning
2011-04-12  Edward Z. YangAdd mapGraph and related functions.
2011-04-11  Edward Z. YangFix premature termination of fixpoint iteration.
2011-03-30  Edward Z. YangMake local signature more restrictive, eliminates incom...
2011-03-28  Norman Ramseybump the Cabal package number and upload to Hackage
2011-01-19  Edward Z. YangFix warnings.
2010-12-25  Edward Z. YangMake Hoopl work with MonoLocalBinds.
2010-08-18  Simon Peyton JonesMove LICENSE file up one level
2010-08-13  Simon Peyton JonesMove hoopl.cabal and Setup.hs from src/ to the root.
2010-07-30  Norman RamseyMerge branch 'three-eight' of /home/nr/papers/simon...
2010-07-30  Norman Ramseyuploaded to Hackage; bumped version number post-upload
2010-07-30  Norman Ramseyrenamed forward 'add' function in Combinators.hs to...
2010-07-30  Norman Ramseyremoved obsolete code from Dataflow.hs
2010-07-30  Norman Ramseyexpunged BwdRew
2010-07-30  Norman Ramseyclean up the typesetting in the appendices
2010-07-30  Norman Ramseyadded fixpoint in an appendix (for web version only)
2010-07-29  Norman Ramseyget implementation of 'block' from the code
2010-07-28  Norman RamseyHackage version consistent with paper
2010-07-27  Norman Ramseyreformatted and renamed code imported into the paper...
2010-07-27  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-27  Norman Ramseyfix bug in mkFactBase when labels are duplicated in...
2010-07-27  Norman Ramseyreplaced FwdGraphAndTail with an ordinary pair
2010-07-27  Norman RamseyPull the type signature and implementation of 'cat...
2010-07-27  Norman RamseyNo need to export FwdGraphAndTail, we think
2010-07-27  Norman RamseyPull 'node' signature from Dataflow.hs, also redo ...
2010-07-23  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-23  Norman Ramseychange 'FwdRew' to 'FwdGraphAndTail'
2010-07-23  Norman Ramseyextract 'node' and 'ShapeLifter' from the real code
2010-07-23  Norman Ramseymigrate 'stdMapJoin' into Hoopl as 'joinMaps'
2010-07-22  Norman Ramseychange 'fixpoint' code to show the real thing in the...
2010-07-20  Norman RamseyAdded algebraic law on 'iter' and 'then'
2010-07-20  Norman Ramseyexposed FwdRew and BwdRew constructors. Perhaps we...
2010-07-20  Norman Ramseyreformatted some code for readability
2010-06-21  Norman RamseyCollect shape functions and classes in one place, perha...
2010-06-17  Norman Ramseyadded CheckpointMonad, which is now used in 'fixpoint...
2010-06-16  Norman Ramseyadded a new version of fixpoint that might be right
2010-06-16  Norman Ramseymigrated withFuel into rewrite functions, with pleasant...
2010-06-15  Norman Ramseyscrubbing gunk out of Combinators.hs
2010-06-15  Norman Ramseyscrubbed unused code from Combinators.hs
2010-06-15  Norman RamseySimpler constructor interface for rewriting; simpler...
2010-06-13  Norman Ramseymark package version number in hackage
2010-06-12  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-12  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-12  Norman RamseySmall improvements to section 5 (implementation)
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...