packages/hoopl.git
2010-07-27  Norman Ramseytag new defined identifiers
2010-07-27  Norman RamseyNo need to export FwdGraphAndTail, we think
2010-07-27  Norman RamseyPull 'node' signature from Dataflow.hs, also redo ...
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 linux.cs.tufts.edu:/r...
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 linux.cs.tufts.edu:/r...
2010-07-26  Norman RamseyFix PDF title
2010-07-26  Simon Peyton... Small 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 linux.cs.tufts.edu:/r...
2010-07-23  Norman Ramseyneed to ignore new derived file node.tex
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 Ramseychange 'FwdRew' to 'FwdGraphAndTail'
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 Ramseychange 'fixpoint' code to show the real thing in the...
2010-07-22  Norman Ramseythe 'CkpointMonad' is a lie :-)
2010-07-22  Norman Ramseynew entries in dfopt.bib for new citations (JOHN PLEASE...
2010-07-22  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
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 Ramseyformatting in mkfile
2010-07-20  Norman Ramseymore error checking in 'xsource' script
2010-07-20  Norman Ramseyexposed FwdRew and BwdRew constructors. Perhaps we...
2010-07-20  Norman Ramseyreformatted some code for readability
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-21  Norman RamseyCollect shape functions and classes in one place, perha...
2010-06-17  Norman Ramseyadded CheckpointMonad, which is now used in 'fixpoint...
2010-06-16  Norman Ramseyadded a new version of fixpoint that might be right
2010-06-16  Norman Ramseymigrated withFuel into rewrite functions, with pleasant...
2010-06-15  Norman Ramseyscrubbing gunk out of Combinators.hs
2010-06-15  Norman Ramseyscrubbed unused code from Combinators.hs
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 Ramseyadd missing references to paper-specific bib file
2010-06-12  Norman Ramseyspell check
next