2012-09-28 Joachim BreitnerForgot to commit before tag master
2012-09-28 Joachim BreitnerApply same logic about copyable closures when creating... 0_1
2012-09-27 Joachim BreitnerActually, FUN should be copyable (just not replaceable...
2012-09-27 Joachim BreitnerActually print something in the mvar test
2012-09-27 Joachim Breitnermvar test passes now.
2012-09-27 Joachim BreitnerSupport for way-dependent output files
2012-09-27 Joachim BreitnerAlso whiteliste closures for deepDup
2012-09-27 Joachim BreitnerWhitelist thunk types in dup
2012-09-27 Joachim BreitnerUse inplace package conf of directory above
2012-09-27 Joachim BreitnerAdded simple enumeration example
2012-09-27 Joachim Breitnertestsuite runner bug: opts.stats_range_fields did not...
2012-09-27 Joachim BreitnerAdd testsuite (shamelessly stolen from GHC)
2012-09-19 Joachim BreitnerMake ghc-dup GHCi compatible
2012-09-14 Joachim BreitnerLighningtalk update
2012-09-09 Joachim BreitnerTitle image
2012-09-06 Joachim BreitnerUnused import
2012-09-06 Joachim BreitnerCustom splitEvery
2012-09-06 Joachim BreitnerAllow newer GHC as well
2012-09-06 Joachim BreitnerMore slides
2012-09-05 Joachim BreitnerLightning talk slides beginings
2012-08-09 Joachim BreitnerTAG HIW-submission
2012-07-09 Joachim BreitnerAnother round of proof-reading...
2012-07-09 Joachim BreitnerSmall text fixes
2012-07-09 Joachim BreitnerSpellcheck
2012-07-09 Joachim BreitnerMore on intro and shortcomings
2012-07-09 Joachim BreitnerMore tests, but nothing new
2012-07-09 Joachim BreitnerPage layouting
2012-07-09 Joachim BreitnerText fixes
2012-07-09 Joachim BreitnerAdd titlebanner “preprint”
2012-07-09 Joachim BreitnerSpellcheck
2012-07-06 Joachim BreitnerUpdated stats
2012-07-06 Joachim BreitnerMachine statistics
2012-07-06 Joachim BreitnerSkip some entries
2012-07-06 Joachim BreitnerAdd RunTwice
2012-07-06 Joachim BreitnerSuccessfully slow down succs
2012-07-06 Joachim BreitnerMore comments on statistics
2012-07-06 Joachim BreitnerAdd deepDup-deepDup avoiding code in code listing
2012-07-06 Joachim BreitnerOne fixed deepDup rule
2012-07-06 Joachim BreitnerDo not unfold the Var rule, makes proof difficult
2012-07-06 Joachim BreitnerPresent Dup and DeepDup rules like the Var rules
2012-07-06 Joachim BreitnerAdd TODO
2012-07-05 Joachim BreitnerImport TinyLaunchbury (already modifieD)
2012-07-05 Joachim BreitnerShort-circuit deepDup
2012-07-05 Joachim BreitnerNew statistics
2012-07-05 Joachim BreitnerStats from i44sun4
2012-07-04 Joachim BreitnerNew slow statistics, more sensible results this time
2012-07-04 Joachim BreitnerAdd slow table, but don’t use yet (numbers seem to...
2012-07-04 Joachim BreitnerReferences for the “famous example”
2012-07-04 Joachim BreitnerAllow for benchmarking of slow trees
2012-07-03 Joachim BreitnerFix ur definition
2012-07-03 Joachim BreitnerFixed point unrolling is enough here.
2012-07-03 Joachim BreitnerTypo in proof
2012-07-03 Joachim BreitnerAlso expand y_i in the proofs
2012-07-03 Joachim BreitnerExpand ellipses in DEEP
2012-07-03 Joachim BreitnerFix csolve implementation
2012-06-29 Joachim BreitnerSimple fixes from the referees
2012-06-29 Joachim BreitnerChange conferenceinfo
2012-06-29 Joachim BreitnerTAG haskell-symposium-submission
2012-06-29 Joachim BreitnerTypography
2012-06-29 Joachim BreitnerRename to dup-hiw-2012
2012-06-01 Joachim BreitnerMake Cabalizatoin cleaner
2012-06-01 Joachim BreitnerSmall changes here and there
2012-06-01 Joachim BreitnerMehr Umbruchoptimierung
2012-06-01 Joachim BreitnerAdded statstable (just for reference)
2012-06-01 Joachim BreitnerSeitenumbruchoptimierung
2012-06-01 Joachim BreitnerMerge proofs again
2012-05-31 Joachim BreitnerSeitenumbruchoptimierung
2012-05-31 Joachim BreitnerBeweis war doch noch zu retten
2012-05-31 Joachim BreitnerSeparate lemma in two (probably not good)
2012-05-31 Joachim BreitnerMore spellcheckerstuff
2012-05-31 Joachim BreitnerFix proof (hopefully)
2012-05-31 Joachim BreitnerTypos et. al. found by Andreas
2012-05-31 Joachim BreitnerSpread out tables better
2012-05-31 Joachim BreitnerHorrible hack to achieve consistent matrix column sizes
2012-05-31 Joachim BreitnerUpright lambda
2012-05-31 Joachim BreitnerAdd more performGCs to PaperStats.hs
2012-05-30 Joachim BreitnerMore citations and typos
2012-05-30 Joachim BreitnerSpellcheck
2012-05-30 Joachim BreitnerPossible fixes for static thunks, proof fixes
2012-05-29 Joachim BreitnerVarious stuff
2012-05-29 Joachim BreitnerTypos found by Andreas
2012-05-29 Joachim BreitnerMehr Arbeit am Bild
2012-05-28 Joachim BreitnerStart painting pictures
2012-05-25 Joachim BreitnerMore work on the proof
2012-05-25 Joachim BreitnerSpellcheck stuff
2012-05-25 Joachim BreitnerAdd sigplanconf file
2012-05-25 Joachim BreitnerAdd paper
2012-05-25 Joachim BreitnerAdd tests
2012-05-25 Joachim BreitnerInitial check-in