|
|
(edit)
|
@142
|
18 years |
neil.c.c.brown |
Tidied up the slides about the dark shadow -- should be much more ...
|
|
|
(edit)
|
@141
|
18 years |
neil.c.c.brown |
Attempted to fix the shadows logic explanation to be more readable, ...
|
|
|
(edit)
|
@140
|
18 years |
neil.c.c.brown |
Made the bounding pairs slide clearer
|
|
|
(edit)
|
@139
|
18 years |
neil.c.c.brown |
Twiddled the formatting of the problematic formula slide
|
|
|
(edit)
|
@138
|
18 years |
neil.c.c.brown |
Fixed the formatting on all the first set of variable elimination slides
|
|
|
(edit)
|
@137
|
18 years |
neil.c.c.brown |
Rearranged the formatting of all of the slides relating to normalising ...
|
|
|
(edit)
|
@136
|
18 years |
neil.c.c.brown |
Removed the inclusion of all the old 3D graphs and put in the new 2D ...
|
|
|
(edit)
|
@135
|
18 years |
neil.c.c.brown |
Further rearranged the early slides and began changing the equality ...
|
|
|
(edit)
|
@134
|
18 years |
neil.c.c.brown |
Added an include file with 2-dimensional gnuplot settings
|
|
|
(edit)
|
@133
|
18 years |
neil.c.c.brown |
Put in an Omega Test section to properly introduce the Omega Test
|
|
|
(edit)
|
@132
|
18 years |
neil.c.c.brown |
Tidied up the formatting on the first few slides
|
|
|
(edit)
|
@131
|
18 years |
neil.c.c.brown |
Added various changes from the past few days; most of the content is ...
|
|
|
(edit)
|
@130
|
18 years |
neil.c.c.brown |
Added proofs.pdf as a Makefile target
|
|
|
(edit)
|
@129
|
18 years |
neil.c.c.brown |
Added various flowchart diagrams showing the algorithm (may take them ...
|
|
|
(edit)
|
@128
|
18 years |
neil.c.c.brown |
Added a lot more proof, described how we can deal with ...
|
|
|
(edit)
|
@127
|
18 years |
neil.c.c.brown |
Added a file to hold my rambling mathematical proofs related to modulo.
|
|
|
(edit)
|
@126
|
18 years |
neil.c.c.brown |
Added more explanation slides near the beginning, and tidied up some ...
|
|
|
(edit)
|
@125
|
18 years |
neil.c.c.brown |
Added diagrams relating to tightening inequalities
|
|
|
(edit)
|
@124
|
18 years |
neil.c.c.brown |
Added a slide about equalities, an inequality divider slide and ...
|
|
|
(edit)
|
@123
|
18 years |
neil.c.c.brown |
Tidied up the formatting of some inequalities
|
|
|
(edit)
|
@122
|
18 years |
neil.c.c.brown |
Fixed a mistake in the maths on the variable elimination slide
|
|
|
(edit)
|
@121
|
18 years |
neil.c.c.brown |
Added lots more pictures to explain the inequalities
|
|
|
(edit)
|
@120
|
18 years |
neil.c.c.brown |
Added the missing data file of scalene points
|
|
|
(edit)
|
@119
|
18 years |
neil.c.c.brown |
Changed all the inequality diagrams to be alpha-blended rather than hashed
|
|
|
(edit)
|
@118
|
18 years |
neil.c.c.brown |
Added various new graphs for demonstrating inequalities
|
|
|
(edit)
|
@117
|
18 years |
neil.c.c.brown |
Added a table for the various cases involving real and dark shadows
|
|
|
(edit)
|
@116
|
18 years |
neil.c.c.brown |
Added another number line diagram
|
|
|
(edit)
|
@115
|
18 years |
neil.c.c.brown |
Added all sorts of mess to the slides, and a diagram
|
|
|
(edit)
|
@114
|
18 years |
neil.c.c.brown |
Added an option to the Makefile to allow the notes pages to be ...
|
|
|
(edit)
|
@113
|
18 years |
neil.c.c.brown |
Added lots more messy maths to the slides
|
|
|
(edit)
|
@112
|
18 years |
neil.c.c.brown |
Added lots of equations and various ramblings while trying to figure ...
|
|
|
(edit)
|
@111
|
18 years |
neil.c.c.brown |
Added more TODO notes to the slides, and added another graph
|
|
|
(edit)
|
@110
|
18 years |
neil.c.c.brown |
Moved some lines into the included helper, and fixed equality-1 to ...
|
|
|
(edit)
|
@109
|
18 years |
neil.c.c.brown |
Fixed all the syntax mistakes I'd left in the TeX file
|
|
|
(edit)
|
@108
|
18 years |
neil.c.c.brown |
Finished fiddling with gnuplot and alpha blending; committing the ...
|
|
|
(edit)
|
@107
|
18 years |
neil.c.c.brown |
Fiddled with the slides and graphs; still in a very messy state
|
|
|
(edit)
|
@106
|
18 years |
neil.c.c.brown |
Added an initial directory plus files for slides explaining the omega test.
|
|
|
(edit)
|
@105
|
18 years |
ats |
Minor tweak to the line about CREW.
|
|
|
(edit)
|
@104
|
18 years |
neil.c.c.brown |
A few last minute tweaks to the presentation
|
|
|
(edit)
|
@103
|
18 years |
neil.c.c.brown |
Removed the mention of parametric types, to avoid awkward questions ...
|
|
|
(edit)
|
@102
|
18 years |
neil.c.c.brown |
Renamed the change12 functions to change1of2, and altered the ...
|
|
|
(edit)
|
@101
|
18 years |
neil.c.c.brown |
Altered the order of some diagrams to suit what I plan to say.
|
|
|
(edit)
|
@100
|
18 years |
neil.c.c.brown |
Changed the diagrams for the AST navigation section to better suit ...
|
|
|
(edit)
|
@99
|
18 years |
ats |
Some post-runthrough tweaks.
|
|
|
(edit)
|
@98
|
18 years |
neil.c.c.brown |
Changed the AST -> ETC -> x86 diagram, and rearranged the slide to ...
|
|
|
(edit)
|
@97
|
18 years |
neil.c.c.brown |
Removed the Conclusions slide.
|
|
|
(edit)
|
@96
|
18 years |
neil.c.c.brown |
Added the PAR keyword to the highlighting.
|
|
|
(edit)
|
@95
|
18 years |
ats |
Redo retyping and usage checking, add a slide on GHC extensions, and ...
|
|
|
(edit)
|
@94
|
18 years |
neil.c.c.brown |
Moved all the divider slides into the proper sections of the presentation
|
|
|
(edit)
|
@93
|
18 years |
neil.c.c.brown |
Added a small diagram to illustrate the circular modules
|
|
|
(edit)
|
@92
|
18 years |
neil.c.c.brown |
Added a future work slide (possibly could replace conclusion slide)
|
|
|
(edit)
|
@91
|
18 years |
neil.c.c.brown |
Transformed the presentation into a "nanopass presentation"
|
|
|
(edit)
|
@90
|
18 years |
neil.c.c.brown |
Added a small diagram of a CFG to aid explanation of the CFG-AST point
|
|
|
(edit)
|
@89
|
18 years |
neil.c.c.brown |
Tidied up the usage checking section; simplified the Haskell code and ...
|
|
|
(edit)
|
@88
|
18 years |
neil.c.c.brown |
Added a diagram for explaining the difficult mutual recursion in the ...
|
|
|
(edit)
|
@87
|
18 years |
neil.c.c.brown |
Added a diagram showing the current compiler toolchain (AST -> ETC -> x86)
|
|
|
(edit)
|
@86
|
18 years |
neil.c.c.brown |
Tweaked a slide title and added a TODO notice
|
|
|
(edit)
|
@85
|
18 years |
neil.c.c.brown |
Fixed a typo in the occam code (should be FROM 5 FOR 4, not vice-versa)
|
|
|
(edit)
|
@84
|
18 years |
neil.c.c.brown |
Had a bash at the conclusions, and added a questions placeholder slide
|
|
|
(edit)
|
@83
|
18 years |
neil.c.c.brown |
Added a FIXME for Adam, relating to mobile data
|
|
|
(edit)
|
@82
|
18 years |
neil.c.c.brown |
Improved the layout of the slide that has lots of occam code on it
|
|
|
(edit)
|
@81
|
18 years |
neil.c.c.brown |
Added some suggestions on where to swap speakers in the talk
|
|
|
(edit)
|
@80
|
18 years |
ats |
Change "higher-order" to "parametric".
|
|
|
(edit)
|
@79
|
18 years |
neil.c.c.brown |
Adjusted the abstract for next week's talk (and sent it off)
|
|
|
(edit)
|
@78
|
18 years |
neil.c.c.brown |
Tweaked the abstract of next week's talk
|
|
|
(edit)
|
@77
|
18 years |
neil.c.c.brown |
Adjusted the text for the point about parser combinators
|
|
|
(edit)
|
@76
|
18 years |
neil.c.c.brown |
Adjusted the formatting of one of the code snippets
|
|
|
(edit)
|
@75
|
18 years |
neil.c.c.brown |
Corrected the line about the number of unit tests in the compiler.
|
|
|
(edit)
|
@74
|
18 years |
neil.c.c.brown |
Removed a bullet point that I usually skip past anyway
|
|
|
(edit)
|
@73
|
18 years |
neil.c.c.brown |
Fixed a small silly mistake in the definition of mBlock
|
|
|
(edit)
|
@72
|
18 years |
neil.c.c.brown |
Added the diagram with a Named item and rearranged the surrounding ...
|
|
|
(edit)
|
@71
|
18 years |
neil.c.c.brown |
Added a planned diagram to help explain the Named item
|
|
|
(edit)
|
@70
|
18 years |
neil.c.c.brown |
Altered the layout slightly on two of the diagrams
|
|
|
(edit)
|
@69
|
18 years |
neil.c.c.brown |
Added the planned QuickCheck diagram, and removed a couple of bullets ...
|
|
|
(edit)
|
@68
|
18 years |
ats |
Some tweaks to the slide after giving a demo of it.
|
|
|
(edit)
|
@67
|
18 years |
neil.c.c.brown |
Adjusted the slide template to try and make it look nicer when ...
|
|
|
(edit)
|
@66
|
18 years |
ats |
Move the nanopass slide to be earlier, and twiddle the conclusion a bit.
|
|
|
(edit)
|
@65
|
18 years |
ats |
Generate 4-up handout versions of the slides for printing.
Tidy up ...
|
|
|
(edit)
|
@64
|
18 years |
neil.c.c.brown |
Added a couple of placeholder lines for diagrams I want to draw.
|
|
|
(edit)
|
@63
|
18 years |
neil.c.c.brown |
Changed some example AST fragments to remove AltGuard, and changed an ...
|
|
|
(edit)
|
@62
|
18 years |
neil.c.c.brown |
Changed the AST section title to include the definition of the ...
|
|
|
(edit)
|
@61
|
18 years |
neil.c.c.brown |
Fiddled with the placement of a diagram
|
|
|
(edit)
|
@60
|
18 years |
neil.c.c.brown |
Added a slide at the end advertising the next talk, and tweaked other ...
|
|
|
(edit)
|
@59
|
18 years |
neil.c.c.brown |
Fixed a mis-representative slide title and added a changeover marker ...
|
|
|
(edit)
|
@58
|
18 years |
neil.c.c.brown |
Twiddled a few slide titles, and had a bash at the conclusions slide.
|
|
|
(edit)
|
@57
|
18 years |
neil.c.c.brown |
Adjusted some of the section titles for part A
|
|
|
(edit)
|
@56
|
18 years |
neil.c.c.brown |
Added dates to both of the presentations.
|
|
|
(edit)
|
@55
|
18 years |
neil.c.c.brown |
Moved the common "style" aspects of the two talks (the beamer style ...
|
|
|
(edit)
|
@54
|
18 years |
neil.c.c.brown |
Commented out the slide with the abstract on it.
|
|
|
(edit)
|
@53
|
18 years |
neil.c.c.brown |
Merged the neil-split branch back into trunk.
|
|
|
(edit)
|
@52
|
18 years |
neil.c.c.brown |
Tweaked the abstract of talk A.
|
|
|
(edit)
|
@51
|
18 years |
neil.c.c.brown |
Rearranged the order of the content to: intro/recap -> occam -> ...
|
|
|
(edit)
|
@50
|
18 years |
neil.c.c.brown |
Quickly hacked the Makefile so that it will compile parts A and B of ...
|
|
|
(edit)
|
@49
|
18 years |
neil.c.c.brown |
Trimmed "part B" down to size, added a (poor) abstract. Now need to ...
|
|
|
(edit)
|
@48
|
18 years |
neil.c.c.brown |
Trimmed the presentation down to only the "part A" content, and took a ...
|
|
|
(edit)
|
@47
|
18 years |
neil.c.c.brown |
Split the slides into two (currently equivalent) files in my branch.
|
|
|
(edit)
|
@46
|
18 years |
neil.c.c.brown |
Started a branch for trying out one possible split of the presentation.
|
|
|
(edit)
|
@45
|
18 years |
neil.c.c.brown |
Removed whitespace from the generated while (otherwise the test won't ...
|
|
|
(edit)
|
@44
|
18 years |
neil.c.c.brown |
Removed the definition of >>*. For those who can read its type, ...
|
|
|
(edit)
|
@43
|
18 years |
neil.c.c.brown |
Combined some slides using the \only command, and added four useful ...
|
|
|