packages/hoopl.git
9 years agocamera-ready formatting
Norman Ramsey [Thu, 29 Jul 2010 19:17:39 +0000 (15:17 -0400)] 
camera-ready formatting

9 years agofinal spell check
Norman Ramsey [Thu, 29 Jul 2010 19:16:43 +0000 (15:16 -0400)] 
final spell check

9 years agofinal page-breaking and cross-reference
Norman Ramsey [Thu, 29 Jul 2010 19:13:47 +0000 (15:13 -0400)] 
final page-breaking and cross-reference

9 years agofinal revision of discussion section
Norman Ramsey [Thu, 29 Jul 2010 19:13:34 +0000 (15:13 -0400)] 
final revision of discussion section

9 years agoremove noise from bibliography
Norman Ramsey [Thu, 29 Jul 2010 19:13:12 +0000 (15:13 -0400)] 
remove noise from bibliography

9 years agoignore new derived file block.tex
Norman Ramsey [Thu, 29 Jul 2010 18:16:44 +0000 (14:16 -0400)] 
ignore new derived file block.tex

9 years agovery delicate page breaks, good through page 13 at last!
Norman Ramsey [Thu, 29 Jul 2010 18:16:24 +0000 (14:16 -0400)] 
very delicate page breaks, good through page 13 at last!

(and some wordsmithing too)

9 years agodo def/use analysis on \smallfuzzverbatiminput stuff
Norman Ramsey [Thu, 29 Jul 2010 18:16:00 +0000 (14:16 -0400)] 
do def/use analysis on \smallfuzzverbatiminput stuff

9 years agoget implementation of 'block' from the code
Norman Ramsey [Thu, 29 Jul 2010 18:15:43 +0000 (14:15 -0400)] 
get implementation of 'block' from the code

9 years agowordsmithing
Norman Ramsey [Thu, 29 Jul 2010 18:15:10 +0000 (14:15 -0400)] 
wordsmithing

9 years agonow that Figure 5 is correct, make it readable again
Norman Ramsey [Thu, 29 Jul 2010 17:38:06 +0000 (13:38 -0400)] 
now that Figure 5 is correct, make it readable again

9 years agowordsmithing
Norman Ramsey [Thu, 29 Jul 2010 17:37:50 +0000 (13:37 -0400)] 
wordsmithing

9 years agoTinkering with language on page 6 to avoid a ghastly page break on page 7.
Norman Ramsey [Thu, 29 Jul 2010 17:25:59 +0000 (13:25 -0400)] 
Tinkering with language on page 6 to avoid a ghastly page break on page 7.

9 years agofixing language in Section 4, but now wrestling with an awful page break
Norman Ramsey [Thu, 29 Jul 2010 17:18:01 +0000 (13:18 -0400)] 
fixing language in Section 4, but now wrestling with an awful page break

9 years agowordsmithing, plus nice page breaks through page 3, but then trouble at the end of...
Norman Ramsey [Thu, 29 Jul 2010 01:47:10 +0000 (21:47 -0400)] 
wordsmithing, plus nice page breaks through page 3, but then trouble at the end of page 4

9 years ago"shape" was defined before use. that's fixed.
Norman Ramsey [Wed, 28 Jul 2010 23:51:34 +0000 (19:51 -0400)] 
"shape" was defined before use.  that's fixed.

9 years agorighteous page-break fu
Norman Ramsey [Wed, 28 Jul 2010 21:07:35 +0000 (17:07 -0400)] 
righteous page-break fu

9 years agoHackage version consistent with paper
Norman Ramsey [Wed, 28 Jul 2010 20:59:26 +0000 (16:59 -0400)] 
Hackage version consistent with paper

9 years agoWording in sections 2 and 3, with attention on a couple of points:
Norman Ramsey [Wed, 28 Jul 2010 20:59:07 +0000 (16:59 -0400)] 
Wording in sections 2 and 3, with attention on a couple of points:

  - don't even suggest that the empty fact is an appropriate
    start fact for constant propagation

  - the example that mentioned loops wasn't a loop

  - point out in section 3.1 that shape is a new thing

9 years agotightening and formatting on page 1
Norman Ramsey [Wed, 28 Jul 2010 20:58:00 +0000 (16:58 -0400)] 
tightening and formatting on page 1

9 years agoLink to full version of entire paper, not to supplement.
Norman Ramsey [Wed, 28 Jul 2010 20:57:35 +0000 (16:57 -0400)] 
Link to full version of entire paper, not to supplement.

9 years agowork with JOhn on discussion section and a few marginalia
Norman Ramsey [Tue, 27 Jul 2010 19:26:44 +0000 (15:26 -0400)] 
work with JOhn on discussion section and a few marginalia

9 years agoMerge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
Norman Ramsey [Tue, 27 Jul 2010 19:10:58 +0000 (15:10 -0400)] 
Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight

9 years agocategories, subject descriptors, messing with formatting of first page
Norman Ramsey [Tue, 27 Jul 2010 19:10:52 +0000 (15:10 -0400)] 
categories, subject descriptors, messing with formatting of first page

9 years agoComments proposing slash and burn in Discussion
Joao Dias [Tue, 27 Jul 2010 19:01:29 +0000 (15:01 -0400)] 
Comments proposing slash and burn in Discussion

9 years agowibble
Joao Dias [Tue, 27 Jul 2010 19:01:06 +0000 (15:01 -0400)] 
wibble

9 years agoHolding the reader's hand a little more through the rewrite-combinator section
Joao Dias [Tue, 27 Jul 2010 17:10:13 +0000 (13:10 -0400)] 
Holding the reader's hand a little more through the rewrite-combinator section

9 years agoWibbles on last night's commits
Joao Dias [Tue, 27 Jul 2010 15:21:49 +0000 (11:21 -0400)] 
Wibbles on last night's commits

9 years agofiddled some with figures and page breaks
Norman Ramsey [Tue, 27 Jul 2010 04:19:52 +0000 (00:19 -0400)] 
fiddled some with figures and page breaks

there is one truly horrendous page break, but we are under the space limit

9 years agoreformatted and renamed code imported into the paper (no more 'tail')
Norman Ramsey [Tue, 27 Jul 2010 04:12:29 +0000 (00:12 -0400)] 
reformatted and renamed code imported into the paper (no more 'tail')

9 years agomassaged the performance section to make it clear that we are speculating
Norman Ramsey [Tue, 27 Jul 2010 04:12:09 +0000 (00:12 -0400)] 
massaged the performance section to make it clear that we are speculating

9 years agoExpunged FwdGraphAndTail from paper, and with it the last vestige of "sequence of...
Norman Ramsey [Tue, 27 Jul 2010 04:11:24 +0000 (00:11 -0400)] 
Expunged FwdGraphAndTail from paper, and with it the last vestige of "sequence of rewrite functions"

9 years agoStriving for a little more consistency in the presentation of the rewrite model.
Norman Ramsey [Tue, 27 Jul 2010 04:11:01 +0000 (00:11 -0400)] 
Striving for a little more consistency in the presentation of the rewrite model.

9 years agoremoved obsolete marginalia
Norman Ramsey [Tue, 27 Jul 2010 04:10:29 +0000 (00:10 -0400)] 
removed obsolete marginalia

9 years agomore type signatures; careful treatment of FactBAse
Norman Ramsey [Tue, 27 Jul 2010 04:10:01 +0000 (00:10 -0400)] 
more type signatures; careful treatment of FactBAse

9 years agoMerge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
Norman Ramsey [Tue, 27 Jul 2010 03:43:38 +0000 (23:43 -0400)] 
Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight

9 years agoFixed bug in constant propagation from old 'mkFactBase'
Norman Ramsey [Tue, 27 Jul 2010 03:43:27 +0000 (23:43 -0400)] 
Fixed bug in constant propagation from old 'mkFactBase'

Old code did the wrong thing on

  if x then goto L else goto L;

This should now go correctly to Top.

9 years agoignore new derived file cat.tex
Norman Ramsey [Tue, 27 Jul 2010 03:37:08 +0000 (23:37 -0400)] 
ignore new derived file cat.tex

9 years agocommit reviews
Norman Ramsey [Tue, 27 Jul 2010 03:36:54 +0000 (23:36 -0400)] 
commit reviews

9 years agofix bug in mkFactBase when labels are duplicated in argument list
Norman Ramsey [Tue, 27 Jul 2010 03:36:24 +0000 (23:36 -0400)] 
fix bug in mkFactBase when labels are duplicated in argument list

9 years agoreplaced FwdGraphAndTail with an ordinary pair
Norman Ramsey [Tue, 27 Jul 2010 03:35:52 +0000 (23:35 -0400)] 
replaced FwdGraphAndTail with an ordinary pair

9 years agofix malformed type in rewrite example in paper
Norman Ramsey [Tue, 27 Jul 2010 03:34:15 +0000 (23:34 -0400)] 
fix malformed type in rewrite example in paper

9 years agoSmall Rew module in which we tested rewriting with an algebraic data type
Norman Ramsey [Tue, 27 Jul 2010 02:58:20 +0000 (22:58 -0400)] 
Small Rew module in which we tested rewriting with an algebraic data type

9 years agoPull the type signature and implementation of 'cat' direct from Dataflow.hs
Norman Ramsey [Tue, 27 Jul 2010 02:57:41 +0000 (22:57 -0400)] 
Pull the type signature and implementation of 'cat' direct from Dataflow.hs

9 years agoExotic uses of fuel are possible without changing the API (thanks JD)
Norman Ramsey [Tue, 27 Jul 2010 02:57:06 +0000 (22:57 -0400)] 
Exotic uses of fuel are possible without changing the API (thanks JD)

9 years agotag new defined identifiers
Norman Ramsey [Tue, 27 Jul 2010 02:56:44 +0000 (22:56 -0400)] 
tag new defined identifiers

9 years agoNo need to export FwdGraphAndTail, we think
Norman Ramsey [Tue, 27 Jul 2010 02:45:59 +0000 (22:45 -0400)] 
No need to export FwdGraphAndTail, we think

9 years agoPull 'node' signature from Dataflow.hs, also redo 'cat' signature to be consistent...
Norman Ramsey [Tue, 27 Jul 2010 02:45:38 +0000 (22:45 -0400)] 
Pull 'node' signature from Dataflow.hs, also redo 'cat' signature to be consistent with paper

9 years agocut the paragraph on unique representation
Norman Ramsey [Tue, 27 Jul 2010 02:44:39 +0000 (22:44 -0400)] 
cut the paragraph on unique representation

9 years agoReplaced \ifcutting with \ifnotcutting
Norman Ramsey [Tue, 27 Jul 2010 02:44:19 +0000 (22:44 -0400)] 
Replaced \ifcutting with \ifnotcutting

9 years agoMerged the section on edges with the section on NonLocal
Norman Ramsey [Tue, 27 Jul 2010 02:43:55 +0000 (22:43 -0400)] 
Merged the section on edges with the section on NonLocal

9 years agoextend API figure to include LabelMap, addBlock, blockUnion
Norman Ramsey [Tue, 27 Jul 2010 02:43:09 +0000 (22:43 -0400)] 
extend API figure to include LabelMap, addBlock, blockUnion

9 years agofix title banner with easy on/off
Norman Ramsey [Tue, 27 Jul 2010 02:31:49 +0000 (22:31 -0400)] 
fix title banner with easy on/off

9 years agoMerge branch 'three-eight' of linux:/r/c--/papers/dfopt into three-eight
Joao Dias [Mon, 26 Jul 2010 22:06:59 +0000 (18:06 -0400)] 
Merge branch 'three-eight' of linux:/r/c--/papers/dfopt into three-eight

9 years agoWibbles.
Joao Dias [Mon, 26 Jul 2010 22:06:50 +0000 (18:06 -0400)] 
Wibbles.

9 years agoquick cut at rewriting
Norman Ramsey [Mon, 26 Jul 2010 22:05:34 +0000 (18:05 -0400)] 
quick cut at rewriting

9 years agoimplemented some \simon things
Norman Ramsey [Mon, 26 Jul 2010 21:45:23 +0000 (17:45 -0400)] 
implemented some \simon things

9 years agoMerge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
Norman Ramsey [Mon, 26 Jul 2010 21:21:56 +0000 (17:21 -0400)] 
Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight

9 years agonotes from call with SImon
Norman Ramsey [Mon, 26 Jul 2010 21:21:51 +0000 (17:21 -0400)] 
notes from call with SImon

9 years agoPara from Simon in Section 8 about handing off fuel to the user
unknown [Mon, 26 Jul 2010 19:39:37 +0000 (20:39 +0100)] 
Para from Simon in Section 8 about handing off fuel to the user

9 years agofor comparison, a full monadic version of rewrite
Norman Ramsey [Mon, 26 Jul 2010 18:36:38 +0000 (14:36 -0400)] 
for comparison, a full monadic version of rewrite

9 years agothe success continuation could be nicer
Norman Ramsey [Mon, 26 Jul 2010 18:29:16 +0000 (14:29 -0400)] 
the success continuation could be nicer

9 years agoFormal explanation of rewriting via CPS sketch (typechecks)
Norman Ramsey [Mon, 26 Jul 2010 18:24:25 +0000 (14:24 -0400)] 
Formal explanation of rewriting via CPS sketch (typechecks)

9 years agorolled back 3 or 4 of Simon's edits, and cleaned up other stuff (mostly line breaks)
Norman Ramsey [Mon, 26 Jul 2010 17:58:38 +0000 (13:58 -0400)] 
rolled back 3 or 4 of Simon's edits, and cleaned up other stuff (mostly line breaks)

9 years agoMerge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
Norman Ramsey [Mon, 26 Jul 2010 17:43:33 +0000 (13:43 -0400)] 
Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight

9 years agoFix PDF title
Norman Ramsey [Mon, 26 Jul 2010 17:43:28 +0000 (13:43 -0400)] 
Fix PDF title

9 years agoSmall edits from Simon, adding many \simon notes
Simon Peyton Jones [Mon, 26 Jul 2010 17:09:37 +0000 (18:09 +0100)] 
Small edits from Simon, adding many \simon notes

9 years agorepaired all LaTeX warnings except on page 15 (the supplement)
Norman Ramsey [Sat, 24 Jul 2010 01:52:46 +0000 (21:52 -0400)] 
repaired all LaTeX warnings except on page 15 (the supplement)

9 years agoeliminated all remaining undefined identifiers
Norman Ramsey [Sat, 24 Jul 2010 01:36:20 +0000 (21:36 -0400)] 
eliminated all remaining undefined identifiers

9 years agowibble
Norman Ramsey [Sat, 24 Jul 2010 01:27:17 +0000 (21:27 -0400)] 
wibble

9 years agoTided sections 5, 6, and 7
Norman Ramsey [Sat, 24 Jul 2010 01:20:41 +0000 (21:20 -0400)] 
Tided sections 5, 6, and 7

9 years agoIMPORTANT: explanation of rewriting without appeal to the representation
Norman Ramsey [Sat, 24 Jul 2010 00:39:59 +0000 (20:39 -0400)] 
IMPORTANT: explanation of rewriting without appeal to the representation

9 years agoBetter, more consistent examples of why the client gets a monad of its own.
Norman Ramsey [Sat, 24 Jul 2010 00:21:23 +0000 (20:21 -0400)] 
Better, more consistent examples of why the client gets a monad of its own.

9 years agoCorrect (wrong) description of initial facts for constant propagation.
Norman Ramsey [Sat, 24 Jul 2010 00:21:04 +0000 (20:21 -0400)] 
Correct (wrong) description of initial facts for constant propagation.

9 years agobad parentheses! no biscuit!
Norman Ramsey [Sat, 24 Jul 2010 00:20:40 +0000 (20:20 -0400)] 
bad parentheses! no biscuit!

9 years agobetter(?) explanation of the CkpointMonad constraint in 'analyzeAndRewriteFwdBody'
Norman Ramsey [Sat, 24 Jul 2010 00:11:00 +0000 (20:11 -0400)] 
better(?) explanation of the CkpointMonad constraint in 'analyzeAndRewriteFwdBody'

9 years agoadjusted placement of figures and tables; minor edits in section 3
Norman Ramsey [Sat, 24 Jul 2010 00:00:46 +0000 (20:00 -0400)] 
adjusted placement of figures and tables; minor edits in section 3

9 years agoalign result types in definition of Node (FIgure 1)
Norman Ramsey [Fri, 23 Jul 2010 23:52:01 +0000 (19:52 -0400)] 
align result types in definition of Node (FIgure 1)

9 years agoPage 2 edits: tightening, typesetting cleanup.
Norman Ramsey [Fri, 23 Jul 2010 23:50:31 +0000 (19:50 -0400)] 
Page 2 edits: tightening, typesetting cleanup.

9 years agoPage 1 edits: tightening, consistent word choice, verbs.
Norman Ramsey [Fri, 23 Jul 2010 23:38:44 +0000 (19:38 -0400)] 
Page 1 edits: tightening, consistent word choice, verbs.

9 years agoMerge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
Norman Ramsey [Fri, 23 Jul 2010 23:30:49 +0000 (19:30 -0400)] 
Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight

9 years agoneed to ignore new derived file node.tex
Norman Ramsey [Fri, 23 Jul 2010 23:30:41 +0000 (19:30 -0400)] 
need to ignore new derived file node.tex

9 years agoyet another leftover commit from the introduction of 'joinMaps' and 'JoinFun'
Norman Ramsey [Fri, 23 Jul 2010 23:30:30 +0000 (19:30 -0400)] 
yet another leftover commit from the introduction of 'joinMaps' and 'JoinFun'

9 years agomore maundering for the discussion section
Norman Ramsey [Fri, 23 Jul 2010 23:29:53 +0000 (19:29 -0400)] 
more maundering for the discussion section

9 years agostarting to tighten up discussion of the client monad
Norman Ramsey [Fri, 23 Jul 2010 23:29:41 +0000 (19:29 -0400)] 
starting to tighten up discussion of the client monad

9 years agowordsmithing
Norman Ramsey [Fri, 23 Jul 2010 23:29:12 +0000 (19:29 -0400)] 
wordsmithing

9 years agoa piece of 'joinMaps' that I missed on an earlier commit
Norman Ramsey [Fri, 23 Jul 2010 23:28:25 +0000 (19:28 -0400)] 
a piece of 'joinMaps' that I missed on an earlier commit

9 years agochange 'FwdRew' to 'FwdGraphAndTail'
Norman Ramsey [Fri, 23 Jul 2010 23:27:33 +0000 (19:27 -0400)] 
change 'FwdRew' to 'FwdGraphAndTail'

9 years agoextract 'node' and 'ShapeLifter' from the real code
Norman Ramsey [Fri, 23 Jul 2010 23:26:36 +0000 (19:26 -0400)] 
extract 'node' and 'ShapeLifter' from the real code

and confirm to Simon's new version of ShapeLifter

9 years agomigrate 'stdMapJoin' into Hoopl as 'joinMaps'
Norman Ramsey [Fri, 23 Jul 2010 23:24:42 +0000 (19:24 -0400)] 
migrate 'stdMapJoin' into Hoopl as 'joinMaps'

9 years agoMerge branch 'three-eight' of linux:/r/c--/papers/dfopt into three-eight
Joao Dias [Fri, 23 Jul 2010 20:34:28 +0000 (16:34 -0400)] 
Merge branch 'three-eight' of linux:/r/c--/papers/dfopt into three-eight

9 years agoInverting the fuel-throttling section to explain the idea before the mechanism
Joao Dias [Fri, 23 Jul 2010 20:34:19 +0000 (16:34 -0400)] 
Inverting the fuel-throttling section to explain the idea before the mechanism

9 years agowould like long URL but it pushes to 14 pages (for now)
Norman Ramsey [Fri, 23 Jul 2010 20:34:12 +0000 (16:34 -0400)] 
would like long URL but it pushes to 14 pages (for now)

9 years agolooking at undefined IDs -- found some nasty bugs in the woodwork
Norman Ramsey [Fri, 23 Jul 2010 20:33:52 +0000 (16:33 -0400)] 
looking at undefined IDs -- found some nasty bugs in the woodwork

9 years agolink to the index
Norman Ramsey [Fri, 23 Jul 2010 20:12:46 +0000 (16:12 -0400)] 
link to the index

9 years agofix dangling cross-references
Norman Ramsey [Fri, 23 Jul 2010 19:40:15 +0000 (15:40 -0400)] 
fix dangling cross-references

9 years agowibbles
Norman Ramsey [Fri, 23 Jul 2010 19:40:00 +0000 (15:40 -0400)] 
wibbles

9 years agothe referees are always right
Norman Ramsey [Fri, 23 Jul 2010 19:39:41 +0000 (15:39 -0400)] 
the referees are always right

9 years agoimproved and extended discussion section
Norman Ramsey [Fri, 23 Jul 2010 19:34:24 +0000 (15:34 -0400)] 
improved and extended discussion section

9 years agoExpunging "reviewer C" for a sin of omission: not sitting on the committee that accep...
Joao Dias [Fri, 23 Jul 2010 16:29:14 +0000 (12:29 -0400)] 
Expunging "reviewer C" for a sin of omission: not sitting on the committee that accepted this paper.