Note: I've just migrated to a different physical server to run Spivey's Corner,
with a new architecture, a new operating system, a new version of PHP, and an updated version of MediaWiki.
Please let me know if anything needs adjustment! – Mike
User contributions for Mike
Jump to navigation
Jump to search
7 March 2024
- 20:4420:44, 7 March 2024 diff hist −32 Compilers Removed redirect to corner:Compilers current Tags: Removed redirect Manual revert
- 19:5319:53, 7 March 2024 diff hist +1 Compilers Redirected page to corner:Compilers Tags: New redirect Reverted
- 19:5319:53, 7 March 2024 diff hist +31 Compilers No edit summary Tag: Reverted
7 February 2024
- 13:4613:46, 7 February 2024 diff hist −40 Compilers →Course materials
2 February 2024
- 16:4016:40, 2 February 2024 diff hist 0 Mike:Shift-reduce conflicts No edit summary current
- 16:3816:38, 2 February 2024 diff hist +58 Mike:Shift-reduce conflicts No edit summary
- 10:2810:28, 2 February 2024 diff hist +63 Mike:Shift-reduce conflicts No edit summary
- 10:1910:19, 2 February 2024 diff hist −1,178 Mike:Shift-reduce conflicts No edit summary
1 February 2024
- 23:1923:19, 1 February 2024 diff hist +7 Mike:Shift-reduce conflicts No edit summary
- 22:3222:32, 1 February 2024 diff hist +175 Mike:Shift-reduce conflicts No edit summary
- 20:0920:09, 1 February 2024 diff hist +20 Mike:Shift-reduce conflicts No edit summary
- 20:0620:06, 1 February 2024 diff hist −1 Mike:Shift-reduce conflicts No edit summary
- 17:4817:48, 1 February 2024 diff hist +6,119 N Mike:Shift-reduce conflicts Created page with "'''Ocamlyacc reports a shift-reduce conflict for my grammar, but produces a parser anyway. Is it safe to ignore the message and use the parser anyway?''' Ocamlyacc's convent..."
28 January 2024
- 17:1117:11, 28 January 2024 diff hist +923 Christmas assignment →Some helpful hints current
5 December 2023
- 16:5016:50, 5 December 2023 diff hist −69 Problem sheets No edit summary current
2 December 2023
- 12:1712:17, 2 December 2023 diff hist +2 Problem sheets No edit summary
- 11:4911:49, 2 December 2023 diff hist +67 Problem sheets No edit summary
1 December 2023
- 10:3410:34, 1 December 2023 diff hist 0 File:Compilers16.pdf Mike uploaded a new version of File:Compilers16.pdf current
30 November 2023
- 14:3314:33, 30 November 2023 diff hist 0 File:Compilers16.pdf Mike uploaded a new version of File:Compilers16.pdf
- 10:4310:43, 30 November 2023 diff hist 0 File:Compilers16.pdf Mike uploaded a new version of File:Compilers16.pdf
29 November 2023
- 21:4721:47, 29 November 2023 diff hist 0 N File:Compilers16.pdf No edit summary
- 21:4621:46, 29 November 2023 diff hist +37 Course outline No edit summary current
28 November 2023
- 11:5211:52, 28 November 2023 diff hist +58 Outline of Lecture 15 No edit summary current
- 11:2311:23, 28 November 2023 diff hist +2,425 N Outline of Lecture 15 Created page with "'''Send me an e-mail for tutorial answers.''' 1. Expressing the results of CSE using @@AFTER@@, @@DEFTEMP@@ and @@TEMP@@ nodes. ... <LOADW, <LOCAL n>> ... <LOADW, <LOCAL n>>..."
- 10:5110:51, 28 November 2023 diff hist +29 Course outline →Machine code
27 November 2023
- 23:4623:46, 27 November 2023 diff hist +545 Frequently asked questions →New questions current
23 November 2023
- 10:1710:17, 23 November 2023 diff hist −1 Course outline →Machine code
21 November 2023
- 23:1923:19, 21 November 2023 diff hist −8 Frequently asked questions →Where can I find out more about the 'regular tree grammars' you mentioned?
- 23:1723:17, 21 November 2023 diff hist +12 Frequently asked questions →Where can I find out more about the 'regular tree grammars' you mentioned?
- 23:0923:09, 21 November 2023 diff hist +2,045 Frequently asked questions →New questions
18 November 2023
- 14:4914:49, 18 November 2023 diff hist +1 Frequently asked questions →What are the rules for passing arguments in the ARM ABI? If arguments are passed in registers, isn't it inefficient to save them in the stack frame? And if a subroutine takes only one argument, why do you save two registers?
- 14:4714:47, 18 November 2023 diff hist +2,461 Frequently asked questions No edit summary
- 14:1914:19, 18 November 2023 diff hist −3 Frequently asked questions No edit summary
- 14:1714:17, 18 November 2023 diff hist 0 Frequently asked questions No edit summary
- 14:1714:17, 18 November 2023 diff hist +3 Frequently asked questions No edit summary
- 13:0913:09, 18 November 2023 diff hist +3,298 Frequently asked questions →Arising from lectures -- Part five: Machine code
15 November 2023
- 14:1414:14, 15 November 2023 diff hist +2,193 Frequently asked questions →New questions
13 November 2023
- 11:5011:50, 13 November 2023 diff hist −6 The story of a bug report →The fix current
11 November 2023
- 10:5410:54, 11 November 2023 diff hist −4 Frequently asked questions →Why is Keiko restricted to 32 bits?
- 10:5310:53, 11 November 2023 diff hist +179 Frequently asked questions →What is the number that appear in a @FUNC@ instruction?
2 November 2023
31 October 2023
- 09:3709:37, 31 October 2023 diff hist +23 Compilers No edit summary
24 October 2023
- 18:2018:20, 24 October 2023 diff hist −14 Frequently asked questions →What is the number that appear in a @FUNC@ instruction?
- 18:1818:18, 24 October 2023 diff hist 0 Frequently asked questions →Is the instruction for multiplying two numbers @@TIMES@@ or @@BINOP Times@@?
- 10:1910:19, 24 October 2023 diff hist +13 Example.p No edit summary current
- 10:1810:18, 24 October 2023 diff hist +239 N Example.p Created page with "(* An example of control structures with short-circuit conditions *) begin i := 0; d := -1; m := 35; while (i < 10) and (d < 0) do if (i > 1) and (m mod i = 0) then..."
- 10:1710:17, 24 October 2023 diff hist 0 Course outline →Expressions and statements
- 10:1710:17, 24 October 2023 diff hist +29 Course outline →Expressions and statements
- 10:1610:16, 24 October 2023 diff hist −33 Course outline →Syntax
- 10:1510:15, 24 October 2023 diff hist +30 Course outline No edit summary
19 October 2023
- 22:1622:16, 19 October 2023 diff hist +130 Problem sheets No edit summary
17 October 2023
- 21:3321:33, 17 October 2023 diff hist +1 Frequently asked questions →Is the "bottom-up parsing machine" you used in the lecture the same as the "pushdown automata" that are mentioned in Models of Computation?
- 20:1420:14, 17 October 2023 diff hist +2,525 Frequently asked questions →Arising from lectures -- Part one: Syntax
16 October 2023
- 15:4315:43, 16 October 2023 diff hist +993 Frequently asked questions →New questions
- 15:3315:33, 16 October 2023 diff hist +847 Frequently asked questions →The output of using @ppx -d -d a.out@ contains references to instructions @JPROC@, @SLIDEW@ and @LDKW@ that don't appear to be explained anywhere. What do they do?
- 15:3215:32, 16 October 2023 diff hist +1,175 Frequently asked questions →Is the instruction for multiplying two numbers @@TIMES@@ or @@BINOP Times@@?
- 15:2615:26, 16 October 2023 diff hist +4,934 Frequently asked questions →Mostly Mercurial
- 15:2515:25, 16 October 2023 diff hist +1,999 Frequently asked questions →In the lecture, you pointed out that the syntactic correctness of the program shown below could not be captured by a context free grammar. If so, how does the compiler check it?
- 15:2415:24, 16 October 2023 diff hist +88 Frequently asked questions No edit summary
- 15:2115:21, 16 October 2023 diff hist +46 MediaWiki:Common.css No edit summary current
- 15:1915:19, 16 October 2023 diff hist 0 Frequently asked questions No edit summary
- 15:1915:19, 16 October 2023 diff hist +2,534 Frequently asked questions →Arising from lectures
- 15:1215:12, 16 October 2023 diff hist +702 Frequently asked questions →Labs
- 15:1115:11, 16 October 2023 diff hist +2,482 Frequently asked questions →Why is TCL needed to build Keiko?
- 15:0915:09, 16 October 2023 diff hist +1,932 Frequently asked questions →Why do you use Mercurial for the labs? Why not Git? After all, Linus says that Git is better.
- 15:0715:07, 16 October 2023 diff hist −16,449 Frequently asked questions No edit summary
- 15:0115:01, 16 October 2023 diff hist +2 Frequently asked questions No edit summary
10 October 2023
- 08:4508:45, 10 October 2023 diff hist −2 Course outline →Syntax
- 08:4408:44, 10 October 2023 diff hist +989 Course outline →Syntax
9 October 2023
- 19:3219:32, 9 October 2023 diff hist +230 Tutors:Laboratory exercises →What might go wrong? current
- 19:1119:11, 9 October 2023 diff hist +1,848 Tutors:Laboratory exercises No edit summary
- 19:0919:09, 9 October 2023 diff hist +267 Frequently asked questions →Trying @make test2@ in Lab 4 gives the message, '@Please get the correct guest_rsa file from Mike@'. What should I do?
- 18:5918:59, 9 October 2023 diff hist +9 Frequently asked questions →The JCASE operation is implemented by a code sequence that includes an @ldrlo@ instruction. What is that?
- 18:5818:58, 9 October 2023 diff hist +63 Frequently asked questions →Trying @make test2@ in Lab 4 gives the message, '@Please get the correct guest_rsa file from Mike@'. What should I do?
7 October 2023
- 07:2807:28, 7 October 2023 diff hist +1 FAQ archive →General current
- 06:5906:59, 7 October 2023 diff hist +16 Frequently asked questions →In the lecture, you pointed out that the syntactic correctness of the program shown below could not be captured by a context free grammar. If so, how does the compiler check it?
- 06:5306:53, 7 October 2023 diff hist −1 Frequently asked questions →The code selection functions @@eval_reg@@ and friends seem to be doing a lot of things at once. What is happening?
4 October 2023
- 21:3021:30, 4 October 2023 diff hist −393 Frequently asked questions →Labs
- 20:5920:59, 4 October 2023 diff hist +4 Using Geany →Version control current
- 20:5920:59, 4 October 2023 diff hist +1,107 Using Geany No edit summary
- 20:0720:07, 4 October 2023 diff hist +83 Laboratory exercises →The exercises current
- 19:0319:03, 4 October 2023 diff hist +1 Frequently asked questions →Compiling Lab 1 gives the error message "@Unbound module Print / Did you mean Printf?" What should I do?
- 19:0319:03, 4 October 2023 diff hist +392 Frequently asked questions →Labs
- 18:3818:38, 4 October 2023 diff hist +1 Frequently asked questions →How are strings treated in the language of Lab 4 and @ppc@?
- 17:5417:54, 4 October 2023 diff hist −8 Using Geany →Editing and building
- 16:2816:28, 4 October 2023 diff hist +225 Frequently asked questions →You said instructions like @LDLW 16@ occupy a single byte: but surely there are more than 256 different instructions, so they can't all be encoded in one byte?
30 September 2023
- 17:5917:59, 30 September 2023 diff hist +959 Frequently asked questions No edit summary
- 16:3016:30, 30 September 2023 diff hist −1 Frequently asked questions →Does the OCaml compiler @ocamlc@ translate programs into native code?
- 16:2916:29, 30 September 2023 diff hist +1 Frequently asked questions →Aren't the 'sausage machine' diagrams in Lecture 1 a bit misleading? Not all the functions shown run one after another.
22 September 2023
21 September 2023
- 12:2612:26, 21 September 2023 diff hist −1 How to use yacc to test for ambiguity No edit summary current
- 10:5310:53, 21 September 2023 diff hist +32 How to use yacc to test for ambiguity No edit summary
16 September 2023
- 15:3315:33, 16 September 2023 diff hist +1,207 Frequently asked questions →Keiko
8 September 2023
- 18:2818:28, 8 September 2023 diff hist 0 Frequently asked questions →Why do some format strings have @$@ as the marker to substitute an argument, and others have @$0@, @$1@, etc.?
1 September 2023
- 15:5415:54, 1 September 2023 diff hist 0 File:Optree.png Mike uploaded a new version of File:Optree.png current
- 15:4015:40, 1 September 2023 diff hist 0 File:Optree.png Mike uploaded a new version of File:Optree.png
- 15:1815:18, 1 September 2023 diff hist +2,520 Frequently asked questions →Arising from lectures
26 July 2023
- 22:5222:52, 26 July 2023 diff hist +4,935 Frequently asked questions →Your description of LR parsing refers to a stack of symbols and a finite-state machine that runs over it, but books refer to a stack that contains states instead. Which is true?
22 July 2023
- 21:4521:45, 22 July 2023 diff hist +716 Using Geany No edit summary
- 17:5017:50, 22 July 2023 diff hist +78 N Template:Menu/doc Created page with "Write <code><nowiki>{{Menu|File>Save}}</nowiki></code> for {{Menu|File>Save}}." current