snu-sf-class/pl2015spring

Assignment 01 Status

jeehoonkang opened this issue · 18 comments

jeehoonkang commented

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

HexagonalED commented

does the target remote branch should be the master, or can i just push local repo to another Github branch?

jeehoonkang commented

@HexagonalED you should push your answer to master, as described here.

ik1ne commented

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.
jeehoonkang commented

@ik1ne Your repo looks good to me.

quan6791 commented

can you check my repos, was the assignment01 uploaded or not? thank you

jeehoonkang commented

@cocghe210 LGTM

quan6791 commented

thank you

justlaugh05 commented

I have submitted my repo can you check it please?
Just to be sure for the first assignment.
Thank you!

jeehoonkang commented

The due (14:00 today) was over! and I would like to recieve delay submissions one more week.

Jeehoon

jeehoonkang commented

Delay submissions are collected.

wonheejo commented

Has my delayed assignment 1 been collected?

alkaza commented

I was wondering why my score for the assignment 1 changed? it used to be 100/100 now it is 20/30

jeehoonkang commented

@alkaza I am improving the grading system, and I newly found that your submission contains code on nandb rather than andb3.

alkaza commented

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).