search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

Assignment 03 Status #42

Open jeehoonkang opened 9 years ago

jeehoonkang commented 9 years ago

Hi all,

Sincerely, Jeehoon

201313381lmk commented 9 years ago

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]?

wonheejo commented 9 years ago

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?

wonheejo commented 9 years ago

sorry! i meant tomorrow?

jeehoonkang commented 9 years ago

@201313381lmk https://github.com/snu-sf/pl2015/issues/46

jeehoonkang commented 9 years ago

@wonheejo Please come to 301-554-1 today, 14:00-16:00 or 17:30-21:00.

Thanks.

jeehoonkang commented 9 years ago

Submissions are collected.

jeehoonkang commented 9 years ago

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.

jeehoonkang commented 9 years ago

Delay submissions are collected.

jeehoonkang commented 9 years ago

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

woong8556 commented 9 years ago

I really want to know what went wrong, since my assignment 04 also got weird.. How can I contact you about this?

egejjespersen commented 9 years ago

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.

jeehoonkang commented 9 years ago

@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