Constant-propagation figure is now extracted automatically from John's code; some...
[packages/hoopl.git] / testing / ConstProp.hs
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-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
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
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