Clarifying (one hopes) some of the new text.
[packages/hoopl.git] / testing /
2010-06-10  Norman Ramseymany defined and used identifiers
2010-06-10  Norman Ramseyrenamed @joinWithTop'@ to @extendJoinDomain@.
2010-06-10  Norman RamseyMerge branch 'three-eight' of
2010-06-10  Norman Ramseychanged 'fmap' to 'liftM' where appropriate.
2010-06-10  Norman Ramseyintroduce type synonym so that the mapXX functions...
2010-06-09  Simon Peyton JonesMerge branch 'three-eight' of
2010-06-07  unknownMerge branch 'three-eight' of
2010-06-07  Norman RamseyThe 'Edges' type class is renamed 'NonLocal', and the...
2010-06-07  Norman RamseyRevised treatment of the constant-propagation example.
2010-06-07  Norman RamseyClean up DataFlow lattice to be more readable and more...
2010-05-16  Milan StrakaRename fold functions to use suffix 3.
2010-05-12  Norman RamseyConstant-propagation figure is now extracted automatica...
2010-05-12  Norman Ramseyworking on making constant propagation more readable...
2010-05-07  Norman RamseyMerge branch 'three-eight' of
2010-05-07  Norman Ramseyadd comments to constant propagation
2010-05-04  Milan StrakaRewrites return the possible rewrite in the monad.
2010-05-04  Norman Ramseytrying to migrate reusable from functinos from testing...
2010-05-04  Norman Ramseyconvert testing directory to use the new monad story
2010-05-04  Norman Ramseyignore .hc files in testing directory
2010-05-03  Milan StrakaMaking AGraph not depending on the monad type.
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  Joao DiasUpdated testing client to provide and use monad.
2010-04-30  Norman RamseyMerge branch 'three-eight' of
2010-04-30  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-30  Joao DiasAdapting test client to abstract body.
2010-04-29  Norman RamseyMerge branch 'three-eight' of
2010-04-29  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-29  Joao DiasUpdating testing client to match the many recent changes.
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 DiasExpected output from running tests.
2010-04-22  Joao DiasAdded Eq on WithTop
2010-04-16  Norman RamseyMerge branch 'master' of labrador:/home/nr/papers/simon...
2010-04-16  Joao DiasBetter debugging messages.
2010-04-16  Norman RamseyMerge branch 'master' into with-passes
2010-04-16  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-04-16  Joao DiasProper indentation is next to godliness.
2010-04-16  Joao DiasUpdated for new fact_extend type.
2010-04-16  Norman RamseyMerge branch 'master' into with-passes -- and add a...
2010-04-16  Norman Ramseyreplace mapM with mapM_, avoiding >> return () and...
2010-04-15  Norman RamseyAdd module Compiler.Hoopl.Show which exports showGraph
2010-04-15  Norman RamseyThe AGraph type is now abstract.
2010-04-13  Norman RamseyDocumentation for the sample client.
2010-04-13  Joao DiasAdded an AST
2010-04-10  Norman RamseyInternally, replaced gCatAny with the very polymorphic...
2010-04-08  Norman Ramseyadded 'mk clean' support in testing directory.
2010-04-08  Norman RamseyHide the Body constructors.
2010-04-07  Norman Ramseychanged interface to shallow/deep as per email from...
2010-04-07  Norman Ramseymore bliss
2010-04-07  Norman RamseySome convenient mkfile targets for test, install, upload.
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 DiasUpdated tests for latest Hoopl.
2010-04-01  Norman RamseyMerge branch 'master' of
2010-03-30  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-03-30  Joao DiasChanged type of combine function to be more informative
2010-03-29  Norman RamseyMerge branch 'master' of
2010-03-29  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-03-29  Joao DiasSeveral changes to client-code figure.
2010-03-29  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-03-29  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-03-29  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-03-29  Joao Diassome changes to the code figure
2010-03-28  Joao DiasMerge branch 'master' of
2010-03-26  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-03-26  Joao DiasAdded liveness analysis and dead-code elim
2010-03-26  unknownMerge branch 'master' of
2010-03-25  Joao DiasA number of changes, many seeing what a port to Hoopl4...
2010-03-25  unknownMerge branch 'master' of
2010-03-25  Joao DiasLots of comments, a code example
2010-03-24  Norman RamseyMerge branch 'master' of
2010-03-22  Joao DiasImplemented constant-prop and simplification
2010-03-22  Simon Peyton JonesMerge branch 'master' of
2010-03-22  unknownThis commit changes line-endings only I think.
2010-03-22  Simon Peyton JonesMerge branch 'master' of
2010-03-19  Joao DiasAdded Hoopl2, updated rest of code to use it.
2010-03-19  Joao DiasSome code for testing the Hoopl library, along with...