Assignments
All dates and times listed are in US Eastern Time
Assignment | Date Out | Date Due | Reading |
---|---|---|---|
Oracle | Fri 1/25 | Sat 2/1, 11:59pm | 4 Billion Floats |
Forge 1 | Fri 1/31 | Fri 2/7, 11:59pm | Optional Reading |
Forge 2 | Mon 2/10 | Sun 2/16, 11:59pm | |
Forge 3 | Sun 2/16 | Sun 2/23, 11:59pm | AWS Automated Reasoning |
Forge 4 | Sun 2/23 | Sat 2/29, 11:59pm | Case Study |
Midterm Project 1 | Sun 3/1 | Thu 3/12, 11:59pm | Lab 2 Solution Additional resource |
SAT | Mon 3/30 | Tue 4/7, 11:59pm | |
Natural Deduction | Wed 4/8 | Thu 4/16 | |
LTL | Fri 5/1 | Sun 5/10, 11:59pm | |
Final Project Proposal | Wed 3/25 | Fri 4/4, 11:59pm | |
Final Project Due Electronically | Sun 5/3, 11:59pm | ||
Final Project Presentations | Mon 5/4 - Wed 5/6 |
Assignment | Reading |
---|---|
Oracle Out: Fri 1/25 Due: Sat 2/1, 11:59pm |
|
Forge 1 Out: Fri 1/31 Due: Thu 2/6, 11:59pm |
|
Forge 2 Out: Mon 2/10 Due: Sun 2/16, 11:59pm |
|
Forge 3 Out: Sun 2/16 Due: Sun 2/23, 11:59pm |
AWS Automated Reasoning |
Forge 4 Out: Sun 2/23 Due: Sat 2/29, 11:59pm |
Case Study |
Midterm Project 1 Out: Sun 3/1 Due: Thu 3/12, 11:59pm |
Additional resource |
SAT Out: Mon 3/30 Due: Tue 4/7, 11:59pm |
|
Natural Deduction Out: Wed 4/8 Due: Thu 4/6, 11:59pm |
|
LTL Out: Fri 5/1TBD Due: Sun 5/10, 11:59pmTBD |
|
Final Project Proposal Due: Fri 4/4, 11:59pm |
|
Final Project Due Electronically Due: Sun 5/3, 11:59pm |
|
Final Project Presentations Mon 5/4 - Wed 5/6 |
Some resources for working with Forge:
- Forge Documentation
- Official Alloy documentation
- Quick reference guide to most Forge operators
- Syntax and basic examples
Note that Forge is largely similar to Alloy, but differs in a few ways, so if you ever have a question about Forge’s syntax, don’t hesitate to ask at hours or on Piazza!
Please don't hesitate to reach out to the TA staff if you think there may be a problem with Forge.
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 |
Forge Lab 1 | Tue 2/4 | At lab section, week of 2/10 |
Forge Lab 2 | Tue 2/11 | At lab section, week of 2/17 |
Forge Lab 3 | Tue 2/18 | Week of 2/24 |
Forge Lab 4 wetdry-commentary.rkt | Tue 3/3 | At lab section, week of 3/9 |
Spin Lab rude_smiths.pml polite_smiths.pml |
Tue 3/10 | At lab section, week of 3/30 |
Lab | Due Dates |
---|---|
Python Lab (Optional) | n/a |
Forge Lab 1 | Out: Mon 2/3 Due: At lab section, week of 2/10 |
Forge Lab 2 | Out: Mon 2/10 Due: At lab section, week of 2/17 |
Forge Lab 3 | Out: Tue 2/18 Due: At lab section, week of 2/24 |
Forge Lab 4 | Out: Tue 3/3 Due: At lab section, week of 3/9 |
Spin Lab | Out: Tue 3/10 Due: At lab section, week of 3/30 |
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 | Ariana (HTA), Izzy, Alex |
Tuesday (Section B) | 7-9pm | Mark (HTA), Champ, Luke |
Wednesday (Section C) | 5-7pm | Charlie (HTA), David, Amy |
Wednesday (Section D) | 7-9pm | Charlie (HTA), Andrew, Sarah |