|
|
(edit)
|
@172
|
18 years |
neil.c.c.brown |
Committing the first version of a guide to working on Tock.
|
|
|
(edit)
|
@171
|
18 years |
neil.c.c.brown |
Changed the code sample on the future work/reachability slide
|
|
|
(edit)
|
@170
|
18 years |
neil.c.c.brown |
Added a blank divider slide at the start of the code->problems ...
|
|
|
(edit)
|
@169
|
18 years |
neil.c.c.brown |
Tweaked the slides some more (changed date, changed a few bullet points)
|
|
|
(edit)
|
@168
|
18 years |
neil.c.c.brown |
A few small tweaks to the slides
|
|
|
(edit)
|
@167
|
18 years |
neil.c.c.brown |
Fixed one of the notes so that it no longer appears twice
|
|
|
(edit)
|
@166
|
18 years |
neil.c.c.brown |
Fixed the notes relating to the window-big-enough section (the dark shadow)
|
|
|
(edit)
|
@165
|
18 years |
neil.c.c.brown |
Fixed up some more slides relating to the dark shadow, trying to make ...
|
|
|
(edit)
|
@164
|
18 years |
neil.c.c.brown |
Removed a fairly redundant shadows slide
|
|
|
(edit)
|
@163
|
18 years |
neil.c.c.brown |
Added a missing closing bracket
|
|
|
(edit)
|
@162
|
18 years |
neil.c.c.brown |
Added many notes to the middle of the presentation.
|
|
|
(edit)
|
@161
|
18 years |
neil.c.c.brown |
Added a date to the presentation
|
|
|
(edit)
|
@160
|
18 years |
neil.c.c.brown |
Added the three scalene inequalities in again before discussing their ...
|
|
|
(edit)
|
@159
|
18 years |
neil.c.c.brown |
Changed the last two scalene inequalities to use striped patterns for ...
|
|
|
(edit)
|
@158
|
18 years |
neil.c.c.brown |
Changed the first two bunches of inequality graphs to have the ...
|
|
|
(edit)
|
@157
|
18 years |
neil.c.c.brown |
Fixed the spacing around the "modhat" operator
|
|
|
(edit)
|
@156
|
18 years |
neil.c.c.brown |
Corrected the "five" modulo cases into the correct nine (!) cases
|
|
|
(edit)
|
@155
|
18 years |
neil.c.c.brown |
Added a table in the notes explained the five possible cases for a ...
|
|
|
(edit)
|
@154
|
18 years |
neil.c.c.brown |
Made various other changes to the slides based on a run-through
|
|
|
(edit)
|
@153
|
18 years |
neil.c.c.brown |
Renamed some sections, added a slide to help explain the notation, and ...
|
|
|
(edit)
|
@151
|
18 years |
neil.c.c.brown |
Tidied up a few small things
|
|
|
(edit)
|
@150
|
18 years |
neil.c.c.brown |
Corrected the number line diagram so that the labelled length was less ...
|
|
|
(edit)
|
@149
|
18 years |
neil.c.c.brown |
Changed the scalene inequalities to also have the new thick lines at ...
|
|
|
(edit)
|
@148
|
18 years |
neil.c.c.brown |
Changing the inequality-tightening graphs to have the thick lines at ...
|
|
|
(edit)
|
@147
|
18 years |
neil.c.c.brown |
Changed the first set of inequality graphs to have their keys ...
|
|
|
(edit)
|
@146
|
18 years |
neil.c.c.brown |
Removed some of the sections from the introduction slide
|
|
|
(edit)
|
@145
|
18 years |
neil.c.c.brown |
Rearranged the equality section so that the points appear to the right ...
|
|
|
(edit)
|
@144
|
18 years |
neil.c.c.brown |
Tried to clear up the formatting of the constant divisor slide (for modulo)
|
|
|
(edit)
|
@143
|
18 years |
neil.c.c.brown |
Added a number line explanation about the exhaustive search
|
|
|
(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 ...
|
|
|