darcs-mirror-ghc-dup.git
7 years agoForgot to commit before tag master
Joachim Breitner [Fri, 28 Sep 2012 19:39:29 +0000 (19:39 +0000)]
Forgot to commit before tag

7 years agoApply same logic about copyable closures when creating thunkgs in deepDup 0_1
Joachim Breitner [Fri, 28 Sep 2012 19:27:23 +0000 (19:27 +0000)]
Apply same logic about copyable closures when creating thunkgs in deepDup

7 years agoActually, FUN should be copyable (just not replaceable by a thunk)
Joachim Breitner [Thu, 27 Sep 2012 09:49:16 +0000 (09:49 +0000)]
Actually, FUN should be copyable (just not replaceable by a thunk)

7 years agoActually print something in the mvar test
Joachim Breitner [Thu, 27 Sep 2012 09:47:40 +0000 (09:47 +0000)]
Actually print something in the mvar test

7 years agomvar test passes now.
Joachim Breitner [Thu, 27 Sep 2012 09:40:47 +0000 (09:40 +0000)]
mvar test passes now.

7 years agoSupport for way-dependent output files
Joachim Breitner [Thu, 27 Sep 2012 09:40:38 +0000 (09:40 +0000)]
Support for way-dependent output files

7 years agoAlso whiteliste closures for deepDup
Joachim Breitner [Thu, 27 Sep 2012 09:36:54 +0000 (09:36 +0000)]
Also whiteliste closures for deepDup

7 years agoWhitelist thunk types in dup
Joachim Breitner [Thu, 27 Sep 2012 09:29:20 +0000 (09:29 +0000)]
Whitelist thunk types in dup

7 years agoUse inplace package conf of directory above
Joachim Breitner [Thu, 27 Sep 2012 09:11:36 +0000 (09:11 +0000)]
Use inplace package conf of directory above

7 years agoAdded simple enumeration example
Joachim Breitner [Thu, 27 Sep 2012 09:11:27 +0000 (09:11 +0000)]
Added simple enumeration example

7 years agotestsuite runner bug: opts.stats_range_fields did not cause stats to be generated
Joachim Breitner [Thu, 27 Sep 2012 09:10:54 +0000 (09:10 +0000)]
testsuite runner bug: opts.stats_range_fields did not cause stats to be generated

7 years agoAdd testsuite (shamelessly stolen from GHC)
Joachim Breitner [Thu, 27 Sep 2012 09:10:29 +0000 (09:10 +0000)]
Add testsuite (shamelessly stolen from GHC)

7 years agoMake ghc-dup GHCi compatible
Joachim Breitner [Wed, 19 Sep 2012 07:36:06 +0000 (07:36 +0000)]
Make ghc-dup GHCi compatible

7 years agoLighningtalk update
Joachim Breitner [Fri, 14 Sep 2012 14:32:11 +0000 (14:32 +0000)]
Lighningtalk update

7 years agoTitle image
Joachim Breitner [Sun, 9 Sep 2012 19:49:52 +0000 (19:49 +0000)]
Title image

7 years agoUnused import
Joachim Breitner [Thu, 6 Sep 2012 09:14:59 +0000 (09:14 +0000)]
Unused import

7 years agoCustom splitEvery
Joachim Breitner [Thu, 6 Sep 2012 09:14:31 +0000 (09:14 +0000)]
Custom splitEvery

7 years agoAllow newer GHC as well
Joachim Breitner [Thu, 6 Sep 2012 09:14:10 +0000 (09:14 +0000)]
Allow newer GHC as well

7 years agoMore slides
Joachim Breitner [Thu, 6 Sep 2012 09:13:49 +0000 (09:13 +0000)]
More slides

7 years agoLightning talk slides beginings
Joachim Breitner [Wed, 5 Sep 2012 15:02:19 +0000 (15:02 +0000)]
Lightning talk slides beginings

7 years agoTAG HIW-submission
Joachim Breitner [Thu, 9 Aug 2012 12:36:36 +0000 (12:36 +0000)]
TAG HIW-submission

7 years agoAnother round of proof-reading...
Joachim Breitner [Mon, 9 Jul 2012 12:02:59 +0000 (12:02 +0000)]
Another round of proof-reading...

7 years agoSmall text fixes
Joachim Breitner [Mon, 9 Jul 2012 10:41:12 +0000 (10:41 +0000)]
Small text fixes

7 years agoSpellcheck
Joachim Breitner [Mon, 9 Jul 2012 10:38:13 +0000 (10:38 +0000)]
Spellcheck

7 years agoMore on intro and shortcomings
Joachim Breitner [Mon, 9 Jul 2012 09:32:17 +0000 (09:32 +0000)]
More on intro and shortcomings

7 years agoMore tests, but nothing new
Joachim Breitner [Mon, 9 Jul 2012 08:47:22 +0000 (08:47 +0000)]
More tests, but nothing new

7 years agoPage layouting
Joachim Breitner [Mon, 9 Jul 2012 08:40:02 +0000 (08:40 +0000)]
Page layouting

7 years agoText fixes
Joachim Breitner [Mon, 9 Jul 2012 08:39:31 +0000 (08:39 +0000)]
Text fixes

7 years agoAdd titlebanner “preprint”
Joachim Breitner [Mon, 9 Jul 2012 08:39:05 +0000 (08:39 +0000)]
Add titlebanner “preprint”

7 years agoSpellcheck
Joachim Breitner [Mon, 9 Jul 2012 08:03:11 +0000 (08:03 +0000)]
Spellcheck

7 years agoUpdated stats
Joachim Breitner [Fri, 6 Jul 2012 15:16:04 +0000 (15:16 +0000)]
Updated stats

7 years agoMachine statistics
Joachim Breitner [Fri, 6 Jul 2012 13:50:59 +0000 (13:50 +0000)]
Machine statistics

7 years agoSkip some entries
Joachim Breitner [Fri, 6 Jul 2012 13:47:00 +0000 (13:47 +0000)]
Skip some entries

7 years agoAdd RunTwice
Joachim Breitner [Fri, 6 Jul 2012 13:46:34 +0000 (13:46 +0000)]
Add RunTwice

7 years agoSuccessfully slow down succs
Joachim Breitner [Fri, 6 Jul 2012 13:46:05 +0000 (13:46 +0000)]
Successfully slow down succs

7 years agoMore comments on statistics
Joachim Breitner [Fri, 6 Jul 2012 13:45:03 +0000 (13:45 +0000)]
More comments on statistics

7 years agoAdd deepDup-deepDup avoiding code in code listing
Joachim Breitner [Fri, 6 Jul 2012 09:04:46 +0000 (09:04 +0000)]
Add deepDup-deepDup avoiding code in code listing

7 years agoOne fixed deepDup rule
Joachim Breitner [Fri, 6 Jul 2012 08:58:50 +0000 (08:58 +0000)]
One fixed deepDup rule

7 years agoDo not unfold the Var rule, makes proof difficult
Joachim Breitner [Fri, 6 Jul 2012 08:51:23 +0000 (08:51 +0000)]
Do not unfold the Var rule, makes proof difficult

7 years agoPresent Dup and DeepDup rules like the Var rules
Joachim Breitner [Fri, 6 Jul 2012 08:37:10 +0000 (08:37 +0000)]
Present Dup and DeepDup rules like the Var rules

7 years agoAdd TODO
Joachim Breitner [Fri, 6 Jul 2012 08:36:59 +0000 (08:36 +0000)]
Add TODO

7 years agoImport TinyLaunchbury (already modifieD)
Joachim Breitner [Thu, 5 Jul 2012 12:17:54 +0000 (12:17 +0000)]
Import TinyLaunchbury (already modifieD)

7 years agoShort-circuit deepDup
Joachim Breitner [Thu, 5 Jul 2012 12:12:11 +0000 (12:12 +0000)]
Short-circuit deepDup

7 years agoNew statistics
Joachim Breitner [Thu, 5 Jul 2012 09:32:01 +0000 (09:32 +0000)]
New statistics

7 years agoStats from i44sun4
Joachim Breitner [Thu, 5 Jul 2012 08:26:14 +0000 (08:26 +0000)]
Stats from i44sun4

7 years agoNew slow statistics, more sensible results this time
Joachim Breitner [Wed, 4 Jul 2012 13:44:42 +0000 (13:44 +0000)]
New slow statistics, more sensible results this time

7 years agoAdd slow table, but don’t use yet (numbers seem to be wrong)
Joachim Breitner [Wed, 4 Jul 2012 11:48:14 +0000 (11:48 +0000)]
Add slow table, but don’t use yet (numbers seem to be wrong)

7 years agoReferences for the “famous example”
Joachim Breitner [Wed, 4 Jul 2012 09:18:07 +0000 (09:18 +0000)]
References for the “famous example”

7 years agoAllow for benchmarking of slow trees
Joachim Breitner [Wed, 4 Jul 2012 09:17:35 +0000 (09:17 +0000)]
Allow for benchmarking of slow trees

7 years agoFix ur definition
Joachim Breitner [Tue, 3 Jul 2012 11:43:43 +0000 (11:43 +0000)]
Fix ur definition

7 years agoFixed point unrolling is enough here.
Joachim Breitner [Tue, 3 Jul 2012 11:36:37 +0000 (11:36 +0000)]
Fixed point unrolling is enough here.

7 years agoTypo in proof
Joachim Breitner [Tue, 3 Jul 2012 11:27:27 +0000 (11:27 +0000)]
Typo in proof

7 years agoAlso expand y_i in the proofs
Joachim Breitner [Tue, 3 Jul 2012 08:24:26 +0000 (08:24 +0000)]
Also expand y_i in the proofs

7 years agoExpand ellipses in DEEP
Joachim Breitner [Tue, 3 Jul 2012 08:10:20 +0000 (08:10 +0000)]
Expand ellipses in DEEP

7 years agoFix csolve implementation
Joachim Breitner [Tue, 3 Jul 2012 07:53:07 +0000 (07:53 +0000)]
Fix csolve implementation

7 years agoSimple fixes from the referees
Joachim Breitner [Fri, 29 Jun 2012 09:02:38 +0000 (09:02 +0000)]
Simple fixes from the referees

7 years agoChange conferenceinfo
Joachim Breitner [Fri, 29 Jun 2012 07:50:41 +0000 (07:50 +0000)]
Change conferenceinfo

7 years agoTAG haskell-symposium-submission
Joachim Breitner [Fri, 29 Jun 2012 07:50:05 +0000 (07:50 +0000)]
TAG haskell-symposium-submission

7 years agoTypography
Joachim Breitner [Fri, 29 Jun 2012 07:49:10 +0000 (07:49 +0000)]
Typography

7 years agoRename to dup-hiw-2012
Joachim Breitner [Fri, 29 Jun 2012 07:48:51 +0000 (07:48 +0000)]
Rename to dup-hiw-2012

7 years agoMake Cabalizatoin cleaner
Joachim Breitner [Fri, 1 Jun 2012 10:52:56 +0000 (10:52 +0000)]
Make Cabalizatoin cleaner

7 years agoSmall changes here and there
Joachim Breitner [Fri, 1 Jun 2012 09:26:59 +0000 (09:26 +0000)]
Small changes here and there

7 years agoMehr Umbruchoptimierung
Joachim Breitner [Fri, 1 Jun 2012 08:08:11 +0000 (08:08 +0000)]
Mehr Umbruchoptimierung

7 years agoAdded statstable (just for reference)
Joachim Breitner [Fri, 1 Jun 2012 08:02:58 +0000 (08:02 +0000)]
Added statstable (just for reference)

7 years agoSeitenumbruchoptimierung
Joachim Breitner [Fri, 1 Jun 2012 08:02:17 +0000 (08:02 +0000)]
Seitenumbruchoptimierung

7 years agoMerge proofs again
Joachim Breitner [Fri, 1 Jun 2012 07:47:32 +0000 (07:47 +0000)]
Merge proofs again

7 years agoSeitenumbruchoptimierung
Joachim Breitner [Thu, 31 May 2012 21:59:19 +0000 (21:59 +0000)]
Seitenumbruchoptimierung

7 years agoBeweis war doch noch zu retten
Joachim Breitner [Thu, 31 May 2012 21:12:07 +0000 (21:12 +0000)]
Beweis war doch noch zu retten

7 years agoSeparate lemma in two (probably not good)
Joachim Breitner [Thu, 31 May 2012 20:52:40 +0000 (20:52 +0000)]
Separate lemma in two (probably not good)

7 years agoMore spellcheckerstuff
Joachim Breitner [Thu, 31 May 2012 20:52:29 +0000 (20:52 +0000)]
More spellcheckerstuff

7 years agoFix proof (hopefully)
Joachim Breitner [Thu, 31 May 2012 14:57:50 +0000 (14:57 +0000)]
Fix proof (hopefully)

7 years agoTypos et. al. found by Andreas
Joachim Breitner [Thu, 31 May 2012 13:07:02 +0000 (13:07 +0000)]
Typos et. al. found by Andreas

7 years agoSpread out tables better
Joachim Breitner [Thu, 31 May 2012 09:54:56 +0000 (09:54 +0000)]
Spread out tables better

7 years agoHorrible hack to achieve consistent matrix column sizes
Joachim Breitner [Thu, 31 May 2012 09:53:27 +0000 (09:53 +0000)]
Horrible hack to achieve consistent matrix column sizes

7 years agoUpright lambda
Joachim Breitner [Thu, 31 May 2012 09:03:02 +0000 (09:03 +0000)]
Upright lambda

7 years agoAdd more performGCs to PaperStats.hs
Joachim Breitner [Thu, 31 May 2012 07:33:22 +0000 (07:33 +0000)]
Add more performGCs to PaperStats.hs

7 years agoMore citations and typos
Joachim Breitner [Wed, 30 May 2012 16:00:38 +0000 (16:00 +0000)]
More citations and typos

7 years agoSpellcheck
Joachim Breitner [Wed, 30 May 2012 10:26:42 +0000 (10:26 +0000)]
Spellcheck

7 years agoPossible fixes for static thunks, proof fixes
Joachim Breitner [Wed, 30 May 2012 08:07:43 +0000 (08:07 +0000)]
Possible fixes for static thunks, proof fixes

7 years agoVarious stuff
Joachim Breitner [Tue, 29 May 2012 16:35:49 +0000 (16:35 +0000)]
Various stuff

7 years agoTypos found by Andreas
Joachim Breitner [Tue, 29 May 2012 08:42:19 +0000 (08:42 +0000)]
Typos found by Andreas

7 years agoMehr Arbeit am Bild
Joachim Breitner [Tue, 29 May 2012 07:56:44 +0000 (07:56 +0000)]
Mehr Arbeit am Bild

7 years agoStart painting pictures
Joachim Breitner [Mon, 28 May 2012 20:04:09 +0000 (20:04 +0000)]
Start painting pictures

7 years agoMore work on the proof
Joachim Breitner [Fri, 25 May 2012 15:10:17 +0000 (15:10 +0000)]
More work on the proof

7 years agoSpellcheck stuff
Joachim Breitner [Fri, 25 May 2012 15:10:02 +0000 (15:10 +0000)]
Spellcheck stuff

7 years agoAdd sigplanconf file
Joachim Breitner [Fri, 25 May 2012 08:57:47 +0000 (08:57 +0000)]
Add sigplanconf file

7 years agoAdd paper
Joachim Breitner [Fri, 25 May 2012 08:39:33 +0000 (08:39 +0000)]
Add paper

7 years agoAdd tests
Joachim Breitner [Fri, 25 May 2012 08:39:05 +0000 (08:39 +0000)]
Add tests

7 years agoInitial check-in
Joachim Breitner [Fri, 25 May 2012 08:38:51 +0000 (08:38 +0000)]
Initial check-in