update

kupl · Jun 1, 2024 · 904a499 · 904a499
1 parent 3fff32d
commit 904a499
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -70,3 +70,5 @@ title = 'COSE419-24S'
 - HW2: Problem Solving using SMT Solver (1) [hw2.pdf](./homework/hw2.pdf) [template](https://github.com/kupl-courses/COSE419-2024/tree/main/hw2) (due 4/19 23:59)
 - HW3: Problem Solving using SMT Solver (2) [hw3.pdf](./homework/hw3.pdf) [template](https://github.com/kupl-courses/COSE419-2024/tree/main/hw3) (due 5/10 23:59)
 - HW4: Program Verification [hw4.pdf](./homework/hw4.pdf) [template](https://github.com/kupl-courses/COSE419-2024/tree/main/hw4) (due 5/30 23:59)
+- HW5: Static Analysis [hw5.pdf](./homework/hw5.pdf) [template](https://github.com/kupl-courses/COSE419-2024/tree/main/hw5) (due 6/12 23:59)
+
diff --git a/content/courses/cose419/2024/homework/hw5.pdf b/content/courses/cose419/2024/homework/hw5.pdf