Update changelog for v3.10.2.2 release
[packages/hoopl.git] / testing / ConstProp.hs
2015-06-07  Michal TerepetaRemove trailing whitespace in testing/
2010-12-25  Edward Z. YangMake Hoopl work with MonoLocalBinds.
2010-07-30  Norman RamseyMerge branch 'three-eight' of /home/nr/papers/simon...
2010-07-29  Norman RamseyCorrected a handful of errors and made a couple dozen...
2010-07-29  Norman Ramseynow that Figure 5 is correct, make it readable again
2010-07-27  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-27  Norman RamseyFixed bug in constant propagation from old 'mkFactBase'
2010-07-24  Norman Ramseyrepaired all LaTeX warnings except on page 15 (the...
2010-07-23  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-23  Norman Ramseymigrate 'stdMapJoin' into Hoopl as 'joinMaps'
2010-06-16  Norman Ramseymigrated withFuel into rewrite functions, with pleasant...
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-11  Norman Ramseywent over section 4 with a fine-tooth comb; carefully...
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 linux.cs.tufts.edu:/r...
2010-06-10  Norman Ramseychanged 'fmap' to 'liftM' where appropriate.
2010-06-09  Simon Peyton JonesMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-07  unknownMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
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-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 linux.cs.tufts.edu:/r...
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-03  Milan StrakaMaking AGraph not depending on the monad type.
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-29  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
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 DiasAdded Eq on WithTop
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-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 linux.cs.tufts.edu:/r/c--...
2010-03-28  Joao DiasMerge branch 'master' of linux.cs.tufts.edu:/r/c--...
2010-03-26  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-03-26  Joao DiasAdded liveness analysis and dead-code elim