packages/hoopl.git
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Joao Dias2 typos plus a more accurate equivocation
2010-06-11  Norman RamseyThe official functions of Hoopl are the 'transfer'...
2010-06-11  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-11  Norman Ramseyminor edits in section 3
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Joao DiasTrying to give the last section a little more structure...
2010-06-11  Joao DiasTrying to refocus the last section on the stated goal...
2010-06-11  Norman Ramseywordsmithing section 3
2010-06-11  Norman Ramseythings are open closed 'on' entry/exit, not 'at' entry...
2010-06-11  Norman RamseyTightened and removed self-praise from sections 1 and 2.
2010-06-11  Joao DiasUndoing an earlier mis-edit
2010-06-11  Joao DiasMoved the footnote on the liveness/dead-code interleavi...
2010-06-11  Joao DiasGrammar and consistency in section 2
2010-06-11  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-11  Norman Ramseysmall improvements and consistencies
2010-06-11  Norman RamseyTighter and tighter---got back under page limit.
2010-06-11  Norman RamseyNew concluding section.
2010-06-11  Joao Diasgrammar police in section 1
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Joao DiasSome corrections and tweaks in sections 4 and 5.
2010-06-11  Norman RamseyFirst draft of a short section about performance and...
2010-06-11  Norman RamseyTightening fuel section. Discussion of withFuel was...
2010-06-11  Norman RamseyClarifying (one hopes) some of the new text.
2010-06-11  Simon Peyton... Friday's edits from Simon
2010-06-11  Simon Peyton... Reformat fixpoint code to 55 columns
2010-06-10  Norman Ramseymany defined and used identifiers
2010-06-10  Norman Ramseyrenamed @joinWithTop'@ to @extendJoinDomain@.
2010-06-10  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-10  Norman RamseyReworked section on the rewrite function.
2010-06-10  Norman Ramseyclean up the latex source
2010-06-10  Norman Ramseyresponses to reviewers or promissory notes for same
2010-06-10  Norman Ramseychanged 'fmap' to 'liftM' where appropriate.
2010-06-10  Joao DiasMoved the footnote from section 1 to a place where...
2010-06-10  Norman Ramseynotes from reviewer A
2010-06-10  Norman Ramseygetting our fact(s) straight
2010-06-10  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-10  Norman Ramseyignore more derived files
2010-06-10  Norman Ramseybug fix: take union of bodies with 'bodyUnion' (detects...
2010-06-10  Norman Ramseyfor consistency with paper, don't use Body constructor...
2010-06-10  Norman Ramseywibbles
2010-06-10  Norman Ramsey'body' and its type, and fixpoint's type, are now extra...
2010-06-10  Joao DiasSome small text improvements
2010-06-10  Norman Ramseywibbles and deletions, and a Direction type for fixpoint
2010-06-10  Norman RamseyMAkefile now builds Figure 5
2010-06-10  Norman Ramseymoved fuel stuff into a single subsection of the implem...
2010-06-10  Norman Ramseyrepair and refactor 'labels and successors' and introdu...
2010-06-10  Norman Ramseyretire the type-synonym experiment for extended fact...
2010-06-10  Norman Ramseyrefactor discussion of rewriting functions and combinat...
2010-06-10  Norman RamseyAdd FuelMonad to the API figure
2010-06-10  Norman RamseyExpunge the very idea of an 'inner function'.
2010-06-10  Norman Ramseyaltered Makefile so Simon might get some joy
2010-06-10  Norman Ramseyvarious minor revisions
2010-06-10  Norman Ramsey---> revised description of 'arfGraph'; one hopes it...
2010-06-10  Norman Ramseyremoved verbiage about soundness and termination. ...
2010-06-10  Norman Ramseyintroduce type synonym so that the mapXX functions...
2010-06-10  Norman Ramsey---> Eviscerate the previous treatment of functions...
2010-06-10  Norman RamseyTighten shallow versus deep.
2010-06-10  Norman Ramseywordsmithing the rewrite function
2010-06-10  Norman Ramseytighten the discussion of the transfer function
2010-06-10  Norman RamseyTightened treatment of 'WithTop' a little.
2010-06-09  Norman Ramseytype-class constraint really is 'FuelMonad' not 'HooplM...
2010-06-09  Norman Ramseyadd placeholder to try to restore the polymorphism...
2010-06-09  Joao DiasA bunch of minor edits, plus a start on extracting...
2010-06-09  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-09  Norman Ramseyadd short note about inner functions
2010-06-09  unknownMore edits from Simon.
2010-06-09  Norman RamseyResponses to some but not all \simon's.
2010-06-09  unknownTone down wording
2010-06-09  unknownSimons edits to the paper
2010-06-09  unknownMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-09  Simon Peyton... Merge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-08  Joao DiasYet another implementation of blockToNodeList, this...
2010-06-08  Norman Ramseyscrub old 'FwdRes' stuff; tests (such as they are)...
2010-06-08  Norman Ramseyrefactoring 'fixpoint' and other code for display in...
2010-06-08  Norman RamseyRenamed some types and functions to simplify explanatio...
2010-06-08  Norman RamseyFuel was (incorrectly) being consumed even when no...
2010-06-07  unknownMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-07  unknownMinor wibbles
2010-06-07  Norman Ramseystarting to describe implementation of 'arfGraph'
2010-06-07  Norman RamseyThe 'Edges' type class is renamed 'NonLocal', and the...
2010-06-07  Norman Ramseyfixed inconsistency; revised note on the fuel monad...
2010-06-07  Norman RamseyRevised treatment of the constant-propagation example.
2010-06-07  Norman Ramseyadded note about WithTop, WithBot, and friends
2010-06-07  Norman RamseyClean up DataFlow lattice to be more readable and more...
2010-06-07  Norman Ramseyadd reviews and response from ICFP 2010
2010-05-31  Simon Peyton... Comment invariants in TxFactBase
2010-05-31  Simon Peyton... Add comments on invariants of fixpoint loop
2010-05-19  Norman Ramseyduplicate John's fold using the Scott fold
2010-05-19  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-05-19  Norman RamseyscottFoldBlock is much nicer!
2010-05-19  Norman Ramseycomment mysterious newtypes
2010-05-19  Norman Ramseyclean up the grotesque block fold a little
2010-05-19  Norman Ramseysimplified fold by eliminating Trips datatype
2010-05-19  Norman Ramseyhorrible, horrible experiments with folds
2010-05-18  Milan StrakaAdding comment to blockToNodeList.
2010-05-17  Norman RamseyblockMapNodes and BlockMapNodes3 get their properly...
2010-05-17  Norman Ramseydeprecated more suspicious-looking functions
2010-05-17  Norman RamseyMoved 'joinOutFacts' to its proper place in XUtil and...
2010-05-17  Norman Ramseyremove old GNUmakefile
next