diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md index eca313b..d1d467a 100644 --- 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 new file mode 100644 index 0000000..25f46cf Binary files /dev/null and b/content/courses/cose419/2024/homework/hw5.pdf differ