Assignment 12 Status
jeehoonkang opened this issue · 7 comments
jeehoonkang 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
AdamBJ commented
Will you have office hours leading up to the exam?
AdamBJ commented
Will we be given scrap paper to work out things like loop invariants on the exam?
jeehoonkang commented
@AdamBJ I am at Portland now.. may other TAs can help you, though.
AdamBJ commented
@jeehoonkang Which other TAs? How can I get in contact with them?
alkaza commented
Due when are the late submissions?
jeehoonkang commented
I just heard that due was yesterday. I will collect in an hour.
jeehoonkang commented
delay submissions are collected.