Unless otherwise stated, all homework assignments and mini-projects are due at 11:59pm. All homework should be submitted through Gradescope.
You have a total of 5 late days to use throughout the semester, but no more than 2 on any given assignments. You cannot use late days on mini-projects due to the midterm and final grade submission deadlines.
In order to submit on Gradescope, your written homework will need to be in PDF format. You are highly encouraged to typeset your solutions in LaTeX, and you will find appropriate templates for each assignment below. Your graders strongly prefer LaTeX-typeset solutions, as your work is much more likely to be clear and legible, as well as consistent with the formatting they expect to see. We recognize that certain types of answers, such as those that involve graphical figures or structured formatting, can be difficult or tedious to typeset. In those cases, the template will sometimes give an example in the comments that you are encouraged to emulate, but it is fine to scan a handwritten solution to include in your latex code as a graphic.
Programming portions of the assignment should be submitted on Gradescope with the relevant assignment. Instructions will be provided with the individual assignments.
- Gradescope course page
- Why3 installation instructions
- Documentation for Why3, version 1.4.0
- Standard libraries for Why3, version 1.4.0
|Asst 0||Why3 Mechanics||Fri 1/27||[pdf]||[zip]||[mlw]|
|Asst 1||Variations on a Theme||Fri 2/3||[pdf]||[zip]|
|Asst 2||Verification at Every Tern||Fri 2/10||[pdf]||[zip]|
|Asst 3||Dynamic Duo||Fri 2/17||[pdf]||[zip]|
|MP 1||Hybrid Data Structures||Fri 2/24 (chkpt)||[pdf]||[zip]|
|Asst 4||Proofs and Refutations||Wed 3/22||[pdf]||[zip]|
|Asst 5||(I can't get no) Satisfaction||Thu 3/30||[pdf]||[zip]|
|Asst 6||Equality & Certificates||Sun 4/9||[pdf]||[zip]|
|Asst 7||Time Flies||Fri 4/28||[pdf]||[zip]|
|MP 2||Certificates||Fri 4/21 (chkpt)||[pdf]||[zip]|