search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

Assignment 01 Status #17

Closed jeehoonkang closed 9 years ago

jeehoonkang commented 9 years ago

Hi all,

Sincerely, Jeehoon

HexagonalED commented 9 years ago

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

jeehoonkang commented 9 years ago

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

ik1ne commented 9 years ago

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

@ik1ne Your repo looks good to me.

quan6791 commented 9 years ago

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

jeehoonkang commented 9 years ago

@cocghe210 LGTM

quan6791 commented 9 years ago

thank you

justlaugh05 commented 9 years ago

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

jeehoonkang commented 9 years ago

@justlaugh05 LGTM

jeehoonkang commented 9 years ago

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

Jeehoon

jeehoonkang commented 9 years ago

A preliminary evaluation result is here: https://docs.google.com/a/sf.snu.ac.kr/spreadsheets/d/1LzOLx22lF3N31D9RDS20Ec8ub_Rq6IA3utD8CNMk9CQ/edit#gid=1422302047

Jeehoon

jeehoonkang commented 9 years ago

Delay submissions are collected.

wonheejo commented 9 years ago

Has my delayed assignment 1 been collected?

jeehoonkang commented 9 years ago

@wonheejo Yes.

alkaza commented 9 years ago

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

jeehoonkang commented 9 years ago

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

alkaza commented 9 years ago

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 https://github.com/snu-sf/pl2015/issues/17#issuecomment-89479306.

jeehoonkang commented 9 years ago

Your submissions are graded: https://docs.google.com/a/sf.snu.ac.kr/spreadsheets/d/1LzOLx22lF3N31D9RDS20Ec8ub_Rq6IA3utD8CNMk9CQ/edit#gid=1422302047