Full 2024 exam solutions

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). [Partial Solutions](past-exams/exam2024-partsol.pdf) |
+| 11   | Thu | 28.11.2024 | 15:15 | **GRA330**, **AAC114** | **Midterm**, until 18:00 | [Seat Plan](seatplan.pdf). [Solutions](past-exams/solutions2024.pdf) |
 |      | Fri | 29.11.2024 | 13:15 | INR219 | Labs | Work on final course project |
 | 12   | Thu | 05.12.2024 | 15:15 | GRA330 | Lecture 13 | [Concurrency](lectures/lec13-concurrency.pdf), [Termination](lectures/lec12-termination.pdf), finish [SMT Solvers](lectures/lec12-smt.pdf) |
 |      |     |            | 17:15 | GRA330 | Labs | |