Fix RWS to follow IOI rounding rules.

Author: veluca93

cms/grading/scoretypes/abc.py

@@ -490,7 +490,7 @@ def compute_score(self, submission_result):
             else:
                 public_subtasks.append({"idx": st_idx,
                                         "testcases": public_testcases})
-            ranking_details.append("%g" % rounded_score)
+            ranking_details.append("%g" % st_score)
 
         return score, subtasks, public_score, public_subtasks, ranking_details
 

cmsranking/static/UserDetail.js

@@ -292,14 +292,15 @@ var UserDetail = new function () {
         } else {
             for (var i in self.submissions[task_id]) {
                 var submission = self.submissions[task_id][i];
+                var rounded_extra = submission["extra"].map(x => round_to_str(parseFloat(x), DataStore.tasks[task_id]['score_precision']));
                 time = submission["time"] - DataStore.contests[DataStore.tasks[task_id]["contest"]]["begin"];
                 time = format_time(time);
                 res += " \
         <tr> \
             <td>" + time + "</td> \
             <td>" + round_to_str(submission['score'], DataStore.tasks[task_id]['score_precision']) + "</td> \
             <td>" + (submission["token"] ? 'Yes' : 'No') + "</td> \
-            " + (submission["extra"].length > 0 ? "<td>" + submission["extra"].join("</td><td>") + "</td>" : "") + " \
+            " + (submission["extra"].length > 0 ? "<td>" + rounded_extra.join("</td><td>") + "</td>" : "") + " \
         </tr>";
             }
         }