Binary file coursework/cw01.pdf has changed
--- 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
Binary file coursework/cw02.pdf has changed
--- 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
Binary file coursework/cw03.pdf has changed
--- 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
Binary file coursework/cw04.pdf has changed
--- 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
--- 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
--- 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}