|
|
(edit)
|
@213
|
15 years |
ats |
Update my email address.
|
|
|
(edit)
|
@212
|
17 years |
ats |
All the docs that used to be here have now been moved elsewhere (to ...
|
|
|
(edit)
|
@211
|
18 years |
neil.c.c.brown |
Final formatting changes and phrasing tweaks
|
|
|
(edit)
|
@210
|
18 years |
neil.c.c.brown |
Added the rest of Adam's changes and fixed the document to actually be ...
|
|
|
(edit)
|
@209
|
18 years |
neil.c.c.brown |
Made Adam's suggested changes to all sections up to and including the ...
|
|
|
(edit)
|
@208
|
18 years |
neil.c.c.brown |
Fixed the tock introduction to reflect Structured becoming parameterised.
|
|
|
(edit)
|
@207
|
18 years |
neil.c.c.brown |
The [un]solveable -> [un]solvable patch.
|
|
|
(edit)
|
@206
|
18 years |
neil.c.c.brown |
Various tweaks to the notes pages of the slides to make the whole ...
|
|
|
(edit)
|
@205
|
18 years |
neil.c.c.brown |
Added more explanations to the ticks and crosses on the second ...
|
|
|
(edit)
|
@204
|
18 years |
neil.c.c.brown |
Added another item of explanation to a slide about modulo
|
|
|
(edit)
|
@203
|
18 years |
neil.c.c.brown |
Corrected a logic equation relating to the difficult case
|
|
|
(edit)
|
@202
|
18 years |
neil.c.c.brown |
Added an example linear equation and reversed the order of two ...
|
|
|
(edit)
|
@201
|
18 years |
neil.c.c.brown |
Fixed a slide
|
|
|
(edit)
|
@200
|
18 years |
neil.c.c.brown |
Various last-minute alterations
|
|
|
(edit)
|
@199
|
18 years |
neil.c.c.brown |
Added the references
|
|
|
(edit)
|
@198
|
18 years |
neil.c.c.brown |
Added a note about recording test patches separately
|
|
|
(edit)
|
@197
|
18 years |
neil.c.c.brown |
Added a note about always using the 6.6 library documentation, and ...
|
|
|
(edit)
|
@196
|
18 years |
neil.c.c.brown |
Added mention of the new checks directory to the guide
|
|
|
(edit)
|
@195
|
18 years |
neil.c.c.brown |
Added another useful maybe function to the sheet
|
|
|
(edit)
|
@194
|
18 years |
neil.c.c.brown |
Added a cheat sheet of useful Haskell/Tock functions
|
|
|
(edit)
|
@193
|
18 years |
neil.c.c.brown |
Various changes to the document; it is now up to first draft status
|
|
|
(edit)
|
@192
|
18 years |
neil.c.c.brown |
Added a section on where to look for useful Haskell functions
|
|
|
(edit)
|
@191
|
18 years |
neil.c.c.brown |
Various tweaks to the presentation
|
|
|
(edit)
|
@190
|
18 years |
neil.c.c.brown |
Added an explanation of how to write a pass using the generics
|
|
|
(edit)
|
@189
|
18 years |
neil.c.c.brown |
Added an explanation of what the example assignment-flattening code does
|
|
|
(edit)
|
@188
|
18 years |
neil.c.c.brown |
Added a disclaimer to the monad section
|
|
|
(edit)
|
@187
|
18 years |
neil.c.c.brown |
Added explanation of Specification in Structured
|
|
|
(edit)
|
@186
|
18 years |
neil.c.c.brown |
Added a title page to the document (since it now seems long enough) ...
|
|
|
(edit)
|
@185
|
18 years |
neil.c.c.brown |
Moved some syntax highlighting that was accidentally on the wrong word
|
|
|
(edit)
|
@184
|
18 years |
neil.c.c.brown |
Added to the section on coding standards
|
|
|
(edit)
|
@183
|
18 years |
neil.c.c.brown |
Removed a misplaced line
|
|
|
(edit)
|
@182
|
18 years |
neil.c.c.brown |
Added most of the section explaining how A.Structured works
|
|
|
(edit)
|
@181
|
18 years |
neil.c.c.brown |
Fixed the colour of the URLs
|
|
|
(edit)
|
@180
|
18 years |
neil.c.c.brown |
Fixed the indentation of the code that was trailing off the right-hand ...
|
|
|
(edit)
|
@179
|
18 years |
neil.c.c.brown |
Properly hyper-linked the URL to the Tock instructions, and another ...
|
|
|
(edit)
|
@178
|
18 years |
neil.c.c.brown |
Fixed up various small issues with the LaTeX formatting
|
|
|
(edit)
|
@177
|
18 years |
neil.c.c.brown |
Removed the beamer aspect from the CRG group style file
|
|
|
(edit)
|
@176
|
18 years |
neil.c.c.brown |
Copied crg-group-beamer from the omega-test presentation
|
|
|
(edit)
|
@175
|
18 years |
neil.c.c.brown |
Added the section about writing code for Tock
|
|
|
(edit)
|
@174
|
18 years |
neil.c.c.brown |
Added sections on code organisation and monads
|
|
|
(edit)
|
@173
|
18 years |
neil.c.c.brown |
Added a lot to the section about writing tests
|
|
|
(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)
|
@152
|
18 years |
ats |
Add Fred to the Tock repo (since he wants to reuse our slides design).
|
|
|
(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 ...
|
|
|