From fd075e5eebd5690f2daede90c0ddb23c55d1b024 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 24 Oct 2023 12:24:58 -0500 Subject: [PATCH] Update index.md --- teaching/2023/cs422/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md index 4feb665..98b1b76 100644 --- a/teaching/2023/cs422/index.md +++ b/teaching/2023/cs422/index.md @@ -101,7 +101,7 @@ Note: See the [abort](https://github.com/runtimeverification/k/tree/master/k-dis - [K Overview]({{site.baseurl}}/assets/CS422-K-Overview.pdf) paper, which also defines and explains SIMPLE. Sections 3 and 4 (the other sections were covered above) --- -HW4 (due date: Friday, April 1st, AoE --- extended by 3 days to Monday, April 4th, AoE) +HW4 (due date: Tuesday, Oct 31st, AoE ***Exercise 1 (10 points):*** Add `break;` and `continue;` to untyped SIMPLE. Just take the semantics of these from C/C++/Java, if uncertain. Do only the simple, unlabeled ones, which only break/continue the innermost loop. One thing to think about: do you still want to desugar the for-loop into a while-loop as we do it now?