diff --git a/README.md b/README.md index f2e256c6d164478e1040a570d53bf2a977ece9b8..80be6738ddbf29356351b85ba61419fd79a6d556 100644 --- a/README.md +++ b/README.md @@ -95,7 +95,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your | 10 | Thu | 21.11.2024 | 15:15 | GRA330 | Lecture 12 | [Widening](lectures/lec12-widening.pdf), [Loops](lectures/lec12-loop.pdf) | | | | | 17:15 | GRA330 | | | | | Fri | 22.11.2024 | 13:15 | INR219 | Q&A session | | -| 11 | Thu | 28.11.2024 | 15:15 | **GRA330**, **AAC114** | **Midterm**, until 18:00 | [Seat Plan](seatplan.pdf) | +| 11 | Thu | 28.11.2024 | 15:15 | **GRA330**, **AAC114** | **Midterm**, until 18:00 | [Seat Plan](seatplan.pdf). [Partial Solutions](past-exams/exam2024-partsol.pdf) | | | Fri | 29.11.2024 | 13:15 | INR219 | Labs | Work on final course project | | 12 | Thu | 05.12.2024 | 15:15 | GRA330 | Lecture 13 | [SMT Solvers](lectures/lec12-smt.pdf), [Termination](lectures/lec12-termination.pdf) | | | | | 17:15 | GRA330 | | | diff --git a/past-exams/exam2024-partsol.pdf b/past-exams/exam2024-partsol.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f464a57fa483bd1eae5dfe9675f2585f5baebd93 Binary files /dev/null and b/past-exams/exam2024-partsol.pdf differ