Assignment 12 Status - Githubissues

jeehoonkang commented 9 years ago

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 commented 9 years ago

Will you have office hours leading up to the exam?

AdamBJ commented 9 years ago

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

jeehoonkang commented 9 years ago

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

AdamBJ commented 9 years ago

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

alkaza commented 9 years ago

Due when are the late submissions?

jeehoonkang commented 9 years ago

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

jeehoonkang commented 9 years ago

delay submissions are collected.

snu-sf-class / pl2015spring