Assignment 12 Status
jeehoonkang opened this issue · comments
Jeehoon Kang commented
Hi all,
- Assignment 12 is issued. Please see the README for more details.
- Please read Homework.md to know how to fetch homework and submit your answer.
- You have to run
./fetch-homework.sh
to get assignment 12. - Do your homework by editing
sf/Assignment12_??.v
. - Make sure
make
works without errors. - Commit and push to your GitHub repository.
- Make sure
https://github.com/$YOURID/pl2015
contains the change you made.
- You have to run
- Stay tuned for README.md and this issue on the assignment.
- You are NOT allowed to use the [admit] tactic.
- You are ALLOWED to use any tactics including: [tauto], [intuition], [firstorder], [omega].
- Just leave [exact FILL_IN_HERE] for those problems that you fail to prove.
- Do NOT add any additional
Require Import/Export
.
Sincerely,
Jeehoon
Adam Bolding-Jones commented
Will you have office hours leading up to the exam?
Adam Bolding-Jones commented
Will we be given scrap paper to work out things like loop invariants on the exam?
Jeehoon Kang commented
@AdamBJ I am at Portland now.. may other TAs can help you, though.
Adam Bolding-Jones commented
@jeehoonkang Which other TAs? How can I get in contact with them?
Alena Kazakova commented
Due when are the late submissions?
Jeehoon Kang commented
I just heard that due was yesterday. I will collect in an hour.
Jeehoon Kang commented
delay submissions are collected.