# HG changeset patch # User Christian Urban # Date 1586532010 -3600 # Node ID 0de3527e6ae38f544f292122a7926358a5eb2296 # Parent b7f9460c6a1c76c57b0567569fd89e018cd13433 updated diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw01.pdf Binary file coursework/cw01.pdf has changed diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw01.tex --- a/coursework/cw01.tex Fri Apr 10 16:12:33 2020 +0100 +++ b/coursework/cw01.tex Fri Apr 10 16:20:10 2020 +0100 @@ -11,7 +11,7 @@ \section*{Coursework 1 (Strand 1)} -This coursework is worth 4\% and is due on 11 October at +This coursework is worth 4\% and is due on \cwONE{} at 18:00. You are asked to implement a regular expression matcher and submit a document containing the answers for the questions below. You can do the implementation in any programming diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw02.pdf Binary file coursework/cw02.pdf has changed diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw02.tex --- a/coursework/cw02.tex Fri Apr 10 16:12:33 2020 +0100 +++ b/coursework/cw02.tex Fri Apr 10 16:20:10 2020 +0100 @@ -7,8 +7,8 @@ \section*{Coursework 2 (Strand 1)} -\noindent This coursework is worth 5\% and is due on 4 -November at 18:00. You are asked to implement the Sulzmann \& +\noindent This coursework is worth 5\% and is due on +\cwTWO{} at 18:00. You are asked to implement the Sulzmann \& Lu lexer for the WHILE language. You can do the implementation in any programming language you like, but you need to submit the source code with which you answered the diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw03.pdf Binary file coursework/cw03.pdf has changed diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw03.tex --- a/coursework/cw03.tex Fri Apr 10 16:12:33 2020 +0100 +++ b/coursework/cw03.tex Fri Apr 10 16:20:10 2020 +0100 @@ -7,8 +7,8 @@ \section*{Coursework 3} -\noindent This coursework is worth 5\% and is due on 22 -November at 18:00. You are asked to implement a parser for the +\noindent This coursework is worth 5\% and is due on \cwTHREE{} +at 18:00. You are asked to implement a parser for the WHILE language and also an interpreter. You can do the implementation in any programming language you like, but you need to submit the source code with which you answered the diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw04.pdf Binary file coursework/cw04.pdf has changed diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw04.tex --- a/coursework/cw04.tex Fri Apr 10 16:12:33 2020 +0100 +++ b/coursework/cw04.tex Fri Apr 10 16:20:10 2020 +0100 @@ -13,8 +13,8 @@ \section*{Coursework 4 (Strand 1)} -\noindent This coursework is worth 6\% and is due on 13 -December at 18:00. You are asked to implement a compiler for +\noindent This coursework is worth 6\% and is due on \cwFOUR{} +at 18:00. You are asked to implement a compiler for the WHILE language that targets the assembler language provided by Jasmin or Krakatau (both have very similar syntax). You can do the implementation in any programming diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw05.tex --- a/coursework/cw05.tex Fri Apr 10 16:12:33 2020 +0100 +++ b/coursework/cw05.tex Fri Apr 10 16:20:10 2020 +0100 @@ -7,7 +7,7 @@ \section*{Coursework (Strand 2)} -\noindent This coursework is worth 20\% and is due on 13 December at +\noindent This coursework is worth 20\% and is due on \cwISABELLE{} at 18:00. You are asked to prove the correctness of the regular expression matcher from the lectures using the Isabelle theorem prover. You need to submit a theory file containing this proof and also a document diff -r b7f9460c6a1c -r 0de3527e6ae3 style.sty --- a/style.sty Fri Apr 10 16:12:33 2020 +0100 +++ b/style.sty Fri Apr 10 16:20:10 2020 +0100 @@ -83,3 +83,12 @@ feel free to share any other questions or concerns. Also, all my material is \st{crap} imperfect. If you have any suggestions for improvement, I am very grateful to hear.} + + +% CW deadlines +\def\cwONE{11 October} +\def\cwTWO{4 November} +\def\cwTHREE{22 November} +\def\cwFOUR{11 December} + +\def\cwISABELLE{11 December}