Labs
Labs should be started during lab hours of the week they are released. You should aim to complete each lab in the given lab timeslot, although it can be completed alone if you don't finish. You must get your work checked off by a TA to receive credit. Each lab can be checked off up to a week after it is released.
| Lab | Date Out | Date Due |
|---|---|---|
| Python Lab (Optional) | n/a | n/a |
| Dafny Lab | M 1/28 | At lab section, week of 2/4 |
| Alloy Tooling | At lab section, week of 2/4 | n/a |
| Alloy Lab 1: Relational Practice | M 2/11 | At lab section, week of 2/18 |
| Alloy Lab 2: Reference Counting | M 2/18 | At lab section, week of 2/25 |
| Alloy Lab 3: Union Find | M 2/25 | At lab section, week of 3/4 |
| SAT Lab (Part 1 & 2) | M 3/11 | At lab section, week of 3/18 |
| Isabelle Help Session | M 4/22 | n/a |
| Rosette Help Session | M 4/29 | n/a |
Lab Hours
Lab hours will be held Tuesdays and Wednesdays in the Sunlab (CIT 143). You must attend the lab hours you signed up for.
| Day | Time | TAs |
|---|---|---|
| Tuesday (Section A) | 5-7pm | Chantal (HTA), Hannah H., Jackson |
| Tuesday (Section B) | 7-9pm | Shamay, Shuchi, Sol (HTA) |
| Wednesday (Section C) | 5-7pm | Andrew (HTA), Hannah T., Nicole |
| Wednesday (Section D) | 7-9pm | Andrew (HTA), Charlie, Natalie |