[Template fetch failed for http://spivey.oriel.ox.ac.uk/corner/Template:Sitenotice?action=render: HTTP 404]
User contributions for Mike
Jump to navigation
Jump to search
8 October 2020
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Tooltip-pt-login 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Sitenotice 1 revision imported
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Sidebar 1 revision imported
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Privacy 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Prefs-help-realname 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Mainpage-nstab 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Mainpage 1 revision imported
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Loginreqpagetext 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Invalidemailaddress 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Grouppage-tutor 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Group-tutor-member 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Group-tutor 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Disclaimers 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Createacct-realname 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Createacct-emailrequired 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Createacct-another-realname-tip 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Copyrightwarning2 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Copyrightwarning 1 revision imported current
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Common.css 1 revision imported
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Badaccess-groups 1 revision imported
- 08:2108:21, 8 October 2020 diff hist 0 m MediaWiki:Aboutpage 1 revision imported current
- 07:4707:47, 8 October 2020 diff hist +36 N MediaWiki:Aboutpage Created page with "corner:Project:About Spivey's Corner"
- 07:4607:46, 8 October 2020 diff hist +1 N MediaWiki:Disclaimers Created page with "-"
- 07:4507:45, 8 October 2020 diff hist +1 N MediaWiki:Privacy Created page with "-"
6 October 2020
- 15:4715:47, 6 October 2020 diff hist +9 MediaWiki:Mainpage No edit summary
20 July 2020
- 13:3413:34, 20 July 2020 diff hist −9 MediaWiki:Mainpage Undo revision 76 by Mike (talk) Tag: Undo
- 13:3413:34, 20 July 2020 diff hist +9 MediaWiki:Mainpage No edit summary
- 13:3313:33, 20 July 2020 diff hist +121 N Diverted traffic Created page with "The course pages for Compilers (including the main page) are inaccessible while I reorganise them. -- Mike"
11 April 2020
- 21:5821:58, 11 April 2020 diff hist 0 m The nodexp tool Protected "The nodexp tool" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))
- 21:5821:58, 11 April 2020 diff hist 0 m Template:Opframe Protected "Template:Opframe" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) current
- 21:5721:57, 11 April 2020 diff hist +128 N Template:Opframe Created page with "<iframe width="800" height="600" frameborder="0" scrolling="no" marginheight="0" marginwidth="0" src="/cgi-bin/opdraw"></iframe>"
- 21:4721:47, 11 April 2020 diff hist 0 N File:Sumk5.gif No edit summary current
- 21:4621:46, 11 April 2020 diff hist 0 N File:Sumk4.gif No edit summary current
- 21:3921:39, 11 April 2020 diff hist 0 N File:Roadmap2.png No edit summary
- 21:3721:37, 11 April 2020 diff hist +18 Laboratory exercises →Safety net
30 March 2020
18 March 2020
- 09:5109:51, 18 March 2020 diff hist 0 N File:VBox shot 4.png No edit summary current
- 09:5009:50, 18 March 2020 diff hist 0 N File:VBox shot 3.png No edit summary current
- 09:4809:48, 18 March 2020 diff hist 0 N File:VBox shot 2.png No edit summary current
- 09:4709:47, 18 March 2020 diff hist 0 N File:VBox shot 1.png No edit summary current
- 09:4409:44, 18 March 2020 diff hist 0 N File:PiFarm.jpg No edit summary current
- 09:4209:42, 18 March 2020 diff hist 0 N File:Roadmap1.png No edit summary current
- 09:4009:40, 18 March 2020 diff hist 0 N File:Compilers1.pdf No edit summary current
- 09:1409:14, 18 March 2020 diff hist +2 MediaWiki:Sidebar No edit summary
- 09:1409:14, 18 March 2020 diff hist +43 N Category:Tutors' pages Created page with "These pages contain information for tutors." current
- 09:1309:13, 18 March 2020 diff hist −12 Tutors:Laboratory exercises No edit summary
- 09:1209:12, 18 March 2020 diff hist +431 N Tutors:Laboratory exercises Created page with "{{Compilers}} ''The lab manual is accessible from the public page.'' Diff listings for the solutions: * {{#HashLink:doc:compilers/$1.di..."
- 09:1109:11, 18 March 2020 diff hist +70 N Template:SourceLink Created page with "[http://spivey.oriel.ox.ac.uk/hg/compilers/file/tip/{{{1}}} @{{{1}}}@]" current
- 09:1009:10, 18 March 2020 diff hist +2,104 N Single-stepping with QEMU and GDB Created page with "{{Compilers}} It's possible to put the ARM emulator @qemu-arm@ into a mode where it accepts commands from an instance of the Gnu debugger @gdb@ running on the host machine. T..." current
- 08:4108:41, 18 March 2020 diff hist +18 Rough guide to ARM →Registers current
- 08:4108:41, 18 March 2020 diff hist +6 Rough guide to ARM No edit summary
- 08:3908:39, 18 March 2020 diff hist −12 Problem sheets No edit summary
- 08:3808:38, 18 March 2020 diff hist +84 N Template:Solution/doc Created page with "Write @<nowiki>{{Solution|digisys|soln1|Problem sheet 1 (with solutions)}}</nowiki>@" current
- 08:3808:38, 18 March 2020 diff hist +142 N Template:Solution Created page with "<includeonly>{{#HashLink:[[doc:{{{1}}}/$1.pdf|{{{3}}}]]|{{{1}}}|{{{2}}}|{{{stage|99}}}}}</includeonly><noinclude>{{Documentation}}</noinclude>" current
- 08:3608:36, 18 March 2020 diff hist −12 Tutors:Problem sheets No edit summary
- 08:3608:36, 18 March 2020 diff hist 0 m Tutors:Problem sheets Mike moved page Tutors:Problem sheets (Compilers) to Tutors:Problem sheets without leaving a redirect
- 08:3508:35, 18 March 2020 diff hist +324 N Tutors:Problem sheets Created page with "{{:Problem sheets (Compilers)}} ==Christmas assignment== * {{Solution|compilers|assmnt2017|Assignment from 2017}} and {{Solution|compilers|assans2017|model answers}}. * {{Sol..."
- 08:3408:34, 18 March 2020 diff hist +110 N Template:IfTutors/doc Created page with "Write <code><nowiki>{{IfTutors|text for tutors|public alternative}}</nowiki></code>. Both texts are optional." current
- 08:3308:33, 18 March 2020 diff hist +88 N Template:IfTutors Created page with "{{#ifeq:{{NAMESPACE}}|Tutors|{{{1|}}}|{{{2|}}}}}<noinclude>{{Documentation}}</noinclude>" current
17 March 2020
- 23:3523:35, 17 March 2020 diff hist +31 N Template:Clear Created page with "<div style="clear: both"></div>" current
- 23:3323:33, 17 March 2020 diff hist +62 N Template:Doc/doc Created page with "Write @<nowiki>{{Doc|digisys|prob1|Problem sheet 1}}</nowiki>@" current
- 23:1723:17, 17 March 2020 diff hist +201 N Template:Documentation/doc Created page with "To document a template @T@, write it as <nowiki><includeonly>... template code ...</includeonly><noinclude>{{Documentation}}</noinclude></nowiki> and then provide documentati..." current
- 23:1723:17, 17 March 2020 diff hist +107 N Template:Documentation Created page with "<includeonly> ==Documentation== {{{{PAGENAME}}/doc}} </includeonly><noinclude>{{Documentation}}</noinclude>" current
- 23:1623:16, 17 March 2020 diff hist +75 N Template:Doc Created page with "[[doc:{{{1}}}/{{{2}}}.pdf|{{{3}}}]]<noinclude>{{Documentation}}</noinclude>" current
- 23:1423:14, 17 March 2020 diff hist +7 FAQ archive No edit summary
- 23:1323:13, 17 March 2020 diff hist 0 Rough guide to ARM No edit summary
- 23:0923:09, 17 March 2020 diff hist +7 FAQ archive No edit summary
- 23:0823:08, 17 March 2020 diff hist +6,968 N Rough guide to ARM Created page with "{{Compilers}} ==Registers== The ARM has (for our purposes) 16 registers plus a status word. {| |@r0@ -- @r3@||Scratch registers |- |@r4@||Static link |- |@r5@ -- @r10@||Tempo..."
- 22:5922:59, 17 March 2020 diff hist +22 Software setup →Get a Raspberry Pi
- 22:2522:25, 17 March 2020 diff hist +11 Software setup No edit summary
- 22:2122:21, 17 March 2020 diff hist +3,492 N The pibake script Created page with "{{Compilers}} Like all our other compilers, the one in Lab 4 is an OCaml program that inputs a text -- the source code of a program in picoPascal -- and outputs a text, this t..."
- 22:1922:19, 17 March 2020 diff hist 0 m Glossary Mike moved page Glossary (Compilers) to Glossary without leaving a redirect
- 22:1822:18, 17 March 2020 diff hist +58,456 N FAQ archive Created page with "{{Compilers}} __TOC__ '''How would one go about implementing pass by value for structures (records). Also, how would it be possible to return by value a structure?''' Like ar..."
- 22:1622:16, 17 March 2020 diff hist +7,851 N Mercurial cheat sheet Created page with "{{Compilers}} This page contains everything you need to know to use the Mercurial version control system for the labs in the Compilers course. Material for the labs is provide..."
- 22:1322:13, 17 March 2020 diff hist −24 Software setup No edit summary
- 22:1222:12, 17 March 2020 diff hist 0 m Course outline Mike moved page Course outline (Compilers) to Course outline without leaving a redirect
- 22:0822:08, 17 March 2020 diff hist +6,990 N Software setup Created page with "{{Compilers}} For the practical assessment, you will need to check out sources using Mercurial or Git, to compile and run OCaml programs, and to assemble and run ARM code outp..."
- 22:0622:06, 17 March 2020 diff hist +18 N Template:; Created page with "<nowiki>;</nowiki>" current
- 22:0022:00, 17 March 2020 diff hist +3,590 N Keiko instructions in stages Created page with "{{Compilers}} Each lab adds more Keiko instructions to the set used by the compiler. Listed here are the instructions that are used by the compiler's code generator, and not t..."
- 21:5921:59, 17 March 2020 diff hist +2,650 N Note about programming style Created page with "{{Compilers}} Previously, I generated code by providing a subroutine @@gen@@ that added one Keiko instruction to the growing program, and wrote things like <pre> let rec gen_e..." current
- 21:5821:58, 17 March 2020 diff hist +11,508 N The story of a bug report Created page with "{{Compilers}} On 3rd Jun 2017, my frequent correspondent Christian Kleinert posted a [https://github.com/Spivoxity/obc-3/issues/19 bug report] on the Bitbucket page of my Ober..."
- 21:5721:57, 17 March 2020 diff hist −111 Compilers No edit summary
- 21:4021:40, 17 March 2020 diff hist −57 Frequently asked questions No edit summary
- 21:3921:39, 17 March 2020 diff hist +4,379 N Code for y := x.f on various machines Created page with "{{Compilers}} This program @ptr.p@ is in picoPascal: <pre> type ptr = pointer to record d, e, f, g: integer end; var x: ptr; y: integer; begin y := x^.f end. </pre> It dec..."
- 21:3821:38, 17 March 2020 diff hist −103 Course outline No edit summary
- 21:3621:36, 17 March 2020 diff hist +53 N Template:Smallcaps Created page with "<span style="font-variant: small-caps">{{{1}}}</span>" current
- 21:3521:35, 17 March 2020 diff hist +18 N Template:Unix Created page with "{{smallcaps|unix}}" current
- 21:3421:34, 17 March 2020 diff hist +7,285 N The nodexp tool Created page with "{{Compilers}} The back end is based around operator trees, represented by the type <pre> type optree = Node of inst * optree list </pre> defined in the @@Kieko@@ module. A ty..."
- 21:3121:31, 17 March 2020 diff hist −94 Laboratory exercises No edit summary
- 21:2921:29, 17 March 2020 diff hist +12,271 N Glossary Created page with "<noinclude>{{Compilers}}</noinclude> ;Application Binary Interface (ABI): A set of conventions about the layout of memory and the use of registers that is required for machine..."
- 21:2721:27, 17 March 2020 diff hist +56,428 N Frequently asked questions Created page with "{{Compilers}} ''If you have a question, perhaps it is answered below -- or maybe you can find help in the growing glossary. Feel free to add headword..."
- 21:2621:26, 17 March 2020 diff hist +3,573 N Laboratory exercises Created page with "{{Compilers}} ''Solutions to the lab exercises are accessible to tutors and demonstrators on a private page.'' There are four lab..."
- 21:2421:24, 17 March 2020 diff hist +1,141 N Problem sheets Created page with "{{Compilers}} Problems appear at the end of chapters in the coursebook, but here is a document that collects them all in one place: * {{Doc|compilers|allprobs|Problem sheets}}..."
- 21:2321:23, 17 March 2020 diff hist +5,287 N Course outline Created page with "{{Compilers}} ==Syntax== '''1. Phases and representations.''' Compilers can be structured as the composition of multiple transformations, with different representations of t..."
- 21:0221:02, 17 March 2020 diff hist +37 N Template:Compilers Created page with "<noinclude>Empty template</noinclude>" current
- 21:0121:01, 17 March 2020 diff hist +1,695 N Syllabus and synopsis Created page with "{{Compilers}} ==Overview== This course aims to give a simple but practical account of the programming techniques used in implementing high-level programming languages by compi..." current
13 March 2020
- 20:0320:03, 13 March 2020 diff hist 0 N File:Optree.png No edit summary
- 20:0120:01, 13 March 2020 diff hist +5,704 N Compilers Created page with "thumb|300px|right|An operator tree for @x := a[i]@ This course will show you '''one way''' to build a compiler for an ordinary programming language (like..."
- 19:5819:58, 13 March 2020 diff hist +394 N MediaWiki:Sidebar Created page with "* Compilers ** mainpage|Main page ** Problem sheets|Problem sheets ** Laboratory exercises|Lab exercises ** Frequently asked questions|FAQ ** Glossary|Glossary ** http://spive..."
- 16:3416:34, 13 March 2020 diff hist +9 N MediaWiki:Mainpage Created page with "Compilers"
