Assignment 03 Status
Opened this issue · 12 comments
Hi all,
- Assignment 03 is issued.
- Please read Homework.md to know how to fetch homework and submit your answer.
- You have to run
./fetch-homework.sh
to get assignment 03. - Do your homework by editing
sf/Assignment03.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.
Sincerely,
Jeehoon
Question 1 instruction says "Complete the definitions of [nonzeros], [oddmembers] and [countoddmembers] below," but there's no [oddmembers] or [countoddmembers] below. Should I also implement [oddmembers] and [countoddmembers]?
i have a problem with my copied where when i try compiling induction.v coqide just turns off all the time....or basic.v it says /bin/sh:coqc is not found, also where poly.v doesn't compile beyond Require Export lists (Error: Cannot find library list in load path)..can i go visit you tar?
sorry! i meant tomorrow?
@wonheejo Please come to 301-554-1 today, 14:00-16:00 or 17:30-21:00.
Thanks.
Submissions are collected.
Please note that for assignments 01 and 02, I tried my best to analyze your submissions and give partial credits as much as possible. However, from assignment 03 and on, I will be (slightly) harsh. For example, if your submission is not compiled with make
, I will give you zero points for the whole assignment.
Delay submissions are collected.
Submissions are graded: https://docs.google.com/a/sf.snu.ac.kr/spreadsheets/d/1LzOLx22lF3N31D9RDS20Ec8ub_Rq6IA3utD8CNMk9CQ/edit#gid=1422302047
@bsantosb @egejjespersen @woong8556 your submissions are not properly graded. Please contact me ASAP.
Jeehoon
I really want to know what went wrong, since my assignment 04 also got weird.. How can I contact you about this?
I've written you a personal email on "jeehoon.kang@sf.snu.ac.kr". Don't know how else to get in contact with you.
@woong8556 @egejjespersen Sorry for late response. Contact me via: pl2015@sf.snu.ac.kr
I know some of you already sent me emails. I will respond quickly.
Jeehoon