The midterm scores have been updated following the claim session. We corrected a few grading errors, so please check your scores on GG. If your scores were unexpectedly reduced, please let us know. I have also updated the statistics in #418.
Grading Changes:
The TF point allocation for some Why3 problems was corrected, resulting in an adjustment of the total scores (TF: 30 -> 34, midterm: 72 -> 76). The max scores shown in GG haven't changed, but please ignore them as they aren't important.
TF problems 6 and 7 were outside the midterm scope. We gave full scores to everyone for these problems.
We modified some test cases for Part 2 Problem 6 (Bounded Integers). This change did not result in any score reductions.
All grade modifications from the claims have been applied.
The midterm scores have been updated following the claim session. We corrected a few grading errors, so please check your scores on GG. If your scores were unexpectedly reduced, please let us know. I have also updated the statistics in #418.
Grading Changes: