You don't need to solve P03.v in Assignment 07

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language

22 stars 10 forks source link

You don't need to solve P03.v in Assignment 07 #52

Open aqjune opened 7 years ago

aqjune commented 7 years ago

D.v contains optimize_0plus_bexp which is the answer of optimize_0plus_b in P03.v. Also solving optimize_0plus_b_sound is essentially equivalent to solving optimize_0plus_bexp_sound in P12.v . Sorry for having such problematic cases.

aqjune commented 7 years ago

We ran re-evaluation for all of students' submissions to assignment 7. Please check your point is correct, and if there's problem, (1) Please re-submit your submission.zip again ; (2) (1) doesn't help, ask TA.