Assignment 12 Status

[jeehoonkang]

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.
• 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]

Will you have office hours leading up to the exam?

[AdamBJ]

Will we be given scrap paper to work out things like loop invariants on the exam?

[jeehoonkang]

@AdamBJ I am at Portland now.. may other TAs can help you, though.

[AdamBJ]

@jeehoonkang Which other TAs? How can I get in contact with them?

[alkaza]

Due when are the late submissions?

[jeehoonkang]

I just heard that due was yesterday. I will collect in an hour.

[jeehoonkang]

delay submissions are collected.