Merge branch 'three-eight' of into three-eight
[packages/hoopl.git] / paper / dfopt.tex
2010-07-27  Norman RamseyMerge branch 'three-eight' of
2010-07-27  Norman Ramseyfix malformed type in rewrite example in paper
2010-07-27  Norman RamseyPull the type signature and implementation of 'cat...
2010-07-27  Norman RamseyExotic uses of fuel are possible without changing the...
2010-07-27  Norman Ramseytag new defined identifiers
2010-07-27  Norman Ramseycut the paragraph on unique representation
2010-07-27  Norman RamseyReplaced \ifcutting with \ifnotcutting
2010-07-27  Norman RamseyMerged the section on edges with the section on NonLocal
2010-07-27  Norman Ramseyextend API figure to include LabelMap, addBlock, blockUnion
2010-07-27  Norman Ramseyfix title banner with easy on/off
2010-07-26  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-07-26  Joao DiasWibbles.
2010-07-26  Norman Ramseyquick cut at rewriting
2010-07-26  Norman Ramseyimplemented some \simon things
2010-07-26  Norman RamseyMerge branch 'three-eight' of
2010-07-26  Norman Ramseynotes from call with SImon
2010-07-26  unknownPara from Simon in Section 8 about handing off fuel...
2010-07-26  Norman Ramseyfor comparison, a full monadic version of rewrite
2010-07-26  Norman Ramseythe success continuation could be nicer
2010-07-26  Norman RamseyFormal explanation of rewriting via CPS sketch (typechecks)
2010-07-26  Norman Ramseyrolled back 3 or 4 of Simon's edits, and cleaned up...
2010-07-26  Norman RamseyMerge branch 'three-eight' of
2010-07-26  Norman RamseyFix PDF title
2010-07-26  Simon Peyton JonesSmall edits from Simon, adding many \simon notes
2010-07-24  Norman Ramseyrepaired all LaTeX warnings except on page 15 (the...
2010-07-24  Norman Ramseyeliminated all remaining undefined identifiers
2010-07-24  Norman Ramseywibble
2010-07-24  Norman RamseyTided sections 5, 6, and 7
2010-07-24  Norman RamseyIMPORTANT: explanation of rewriting without appeal...
2010-07-24  Norman RamseyBetter, more consistent examples of why the client...
2010-07-24  Norman RamseyCorrect (wrong) description of initial facts for consta...
2010-07-24  Norman Ramseybad parentheses! no biscuit!
2010-07-24  Norman Ramseybetter(?) explanation of the CkpointMonad constraint...
2010-07-24  Norman Ramseyadjusted placement of figures and tables; minor edits...
2010-07-23  Norman Ramseyalign result types in definition of Node (FIgure 1)
2010-07-23  Norman RamseyPage 2 edits: tightening, typesetting cleanup.
2010-07-23  Norman RamseyPage 1 edits: tightening, consistent word choice, verbs.
2010-07-23  Norman RamseyMerge branch 'three-eight' of
2010-07-23  Norman Ramseyyet another leftover commit from the introduction of...
2010-07-23  Norman Ramseymore maundering for the discussion section
2010-07-23  Norman Ramseystarting to tighten up discussion of the client monad
2010-07-23  Norman Ramseywordsmithing
2010-07-23  Norman Ramseya piece of 'joinMaps' that I missed on an earlier commit
2010-07-23  Norman Ramseyextract 'node' and 'ShapeLifter' from the real code
2010-07-23  Norman Ramseymigrate 'stdMapJoin' into Hoopl as 'joinMaps'
2010-07-23  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-07-23  Joao DiasInverting the fuel-throttling section to explain the...
2010-07-23  Norman Ramseywould like long URL but it pushes to 14 pages (for...
2010-07-23  Norman Ramseylooking at undefined IDs -- found some nasty bugs in...
2010-07-23  Norman Ramseylink to the index
2010-07-23  Norman Ramseyfix dangling cross-references
2010-07-23  Norman Ramseywibbles
2010-07-23  Norman Ramseythe referees are always right
2010-07-23  Norman Ramseyimproved and extended discussion section
2010-07-23  Joao DiasExpunging "reviewer C" for a sin of omission: not sitti...
2010-07-23  Joao Diaswibbles
2010-07-22  Norman RamseyAdd note about Sukyoung's interesting example.
2010-07-22  Norman Ramseywibbles. even though I'm not British.
2010-07-22  Norman Ramseymove discussion of client monad closer to its ultimate...
2010-07-22  Norman Ramseythreaded the explanation of vpoiso and fuel a little...
2010-07-22  Norman Ramseykeeping timestamps and signatures for now
2010-07-22  Norman RamseyMerge branch 'three-eight' of
2010-07-22  Norman Ramseyparagraph in intro about why automated debugging is...
2010-07-22  Norman Ramseycut down the copyright space a little
2010-07-22  Joao DiasMentioning deepFwdRw in the relevant place
2010-07-22  Joao DiasRemoved redundancy
2010-07-22  Joao DiasFormatting code consistently
2010-07-22  Joao DiasFactual errors in example
2010-07-22  Joao Diasvarious line edits on para motivating user monad
2010-07-22  Joao DiasReworking first mention of speculative rewrites
2010-07-22  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-07-22  Joao Diassome text motivating the user-defined monad
2010-07-22  Norman Ramseymore guff about why the client has its own monad
2010-07-22  Norman RamseyA sop to the SSA crowd.
2010-07-20  Joao DiasA couple of sentences on the most relevant related...
2010-07-20  Norman Ramseytagged new section in implementation to make it obvious...
2010-07-20  Norman RamseyAdded algebraic law on 'iter' and 'then'
2010-07-20  Norman Ramseyremoved stray \ifpagetuning
2010-07-20  Norman RamseyExplanations about the client monad, including 'checkpo...
2010-07-20  Norman Ramseyswitch to submission format (categories and subject...
2010-06-16  Norman Ramseymigrated withFuel into rewrite functions, with pleasant...
2010-06-15  Norman RamseySimpler constructor interface for rewriting; simpler...
2010-06-15  Norman Ramseyadd vertical space to the 'arfGraph' sketch
2010-06-13  Norman Ramseymark package version number in hackage
2010-06-12  Norman Ramseyrevision suitable for a web page
2010-06-12  Norman Ramseysubmission draft
2010-06-12  Norman Ramseyspell check
2010-06-12  Norman RamseyMerge branch 'three-eight' of
2010-06-12  Norman RamseyFinal section bullets become italicized headers. The...
2010-06-12  Joao Diastypo
2010-06-12  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-12  Joao Diasparagraph read, note removed
2010-06-12  Joao Diastypo
2010-06-12  Norman Ramseymore performance wibbles
2010-06-12  Norman Ramseyperformance wibbles
2010-06-12  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-12  Joao Diasvery minor edits
2010-06-12  Norman RamseyMerge branch 'three-eight' of
2010-06-12  Norman RamseySmall improvements to section 5 (implementation)
2010-06-12  Joao DiasChronological order is our friend.