Assignment 01 Status
jeehoonkang opened this issue · 18 comments
Hi all,
- Assignment 01 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 01. - Do your homework by editing
sf/Assignment01.v
. - 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.
- I understand some of you could not make your repository private yet. Please read #14 and do as said in the issue. Until then, leave your repository public. However make sure to make your repository private before the due (2015/03/19 14:00).
Sincerely,
Jeehoon
does the target remote branch should be the master, or can i just push local repo to another Github branch?
@HexagonalED you should push your answer to master
, as described here.
Is it okay if I run Assignment01.v with CoqIde and get no error message?
Of course I didn't modified "Example test_??" line and removed all "Admitted." except line number 6.
(Line number 6:)
Definition admit {T: Type} : T. Admitted.
@ik1ne Your repo looks good to me.
can you check my repos, was the assignment01 uploaded or not? thank you
@cocghe210 LGTM
thank you
I have submitted my repo can you check it please?
Just to be sure for the first assignment.
Thank you!
@justlaugh05 LGTM
The due (14:00 today) was over! and I would like to recieve delay submissions one more week.
Jeehoon
A preliminary evaluation result is here: https://docs.google.com/a/sf.snu.ac.kr/spreadsheets/d/1LzOLx22lF3N31D9RDS20Ec8ub_Rq6IA3utD8CNMk9CQ/edit#gid=1422302047
Jeehoon
Delay submissions are collected.
Has my delayed assignment 1 been collected?
@wonheejo Yes.
I was wondering why my score for the assignment 1 changed? it used to be 100/100 now it is 20/30
@alkaza I am improving the grading system, and I newly found that your submission contains code on nandb
rather than andb3
.
just saw it now. must have copy pasted a wrong function from the basics.v
file when i was solving it :( ok, i see, thanks
On Sat, Apr 4, 2015 at 10:27 AM, Jeehoon Kang notifications@github.com
wrote:
@alkaza https://github.com/alkaza I am improving the grading system,
and I newly found that your submission contains code on nandb rather than
andb3.—
Reply to this email directly or view it on GitHub
#17 (comment).