From dd9d55bc6a0bc891be6d7964e69a5a33492ec272 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= <359542@mail.muni.cz>
Date: Mon, 22 Jul 2024 15:14:45 +0200
Subject: [PATCH] Publish results (#124)

* Fix unsat core pretty name.

* Remove TODO.

* Publish results.

* Remove sorting in competition wide scores.
---
 web/data/pretty_names.json                           | 2 +-
 web/hugo.toml                                        | 8 ++++----
 web/themes/smtcomp/layouts/_default/result.html      | 2 +-
 web/themes/smtcomp/layouts/_default/result_comp.html | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/web/data/pretty_names.json b/web/data/pretty_names.json
index 8f895ade..2f639a17 100644
--- a/web/data/pretty_names.json
+++ b/web/data/pretty_names.json
@@ -16,7 +16,7 @@
     "track": {
         "track_single_query": "Single Query Track",
         "track_incremental": "Incremental Track",
-        "track_unsatcore": "Unsat Core Track",
+        "track_unsat_core": "Unsat Core Track",
         "track_model_validation": "Model Validation Track",
         "track_cloud": "Cloud Track",
         "track_parallel": "Parallel Track",
diff --git a/web/hugo.toml b/web/hugo.toml
index 501a689d..ff8ff721 100644
--- a/web/hugo.toml
+++ b/web/hugo.toml
@@ -35,10 +35,10 @@ theme = 'smtcomp'
     pageRef = 'previous'
     weight = 30
 
-# [[menu.year]]
-#     name = 'Results'
-#     pageRef = 'results'
-#     weight = 10
+[[menu.year]]
+    name = 'Results'
+    pageRef = 'results'
+    weight = 10
 
 [[menu.year]]
     name = 'Rules'
diff --git a/web/themes/smtcomp/layouts/_default/result.html b/web/themes/smtcomp/layouts/_default/result.html
index ae05b701..69486671 100644
--- a/web/themes/smtcomp/layouts/_default/result.html
+++ b/web/themes/smtcomp/layouts/_default/result.html
@@ -91,7 +91,7 @@ <h3>{{ index $category_names $cat }} Performance</h3>
 {{ range $solver := . }}
 <tr {{ if eq $solver.competing "no" }}class = "non-competing" {{ end }}>
     <td>
-      <a href="TODO">{{ $solver.name }}</a>{{ if eq $solver.competing "no" }}<sup><a href="#nc">n</a></sup>{{ end }}
+      {{ $solver.name }} {{ if eq $solver.competing "no" }}<sup><a href="#nc">n</a></sup>{{ end }}
     </td>
     <td class="right">{{ $solver.errorScore }}
       {{ if $solver.errorFootnote }}
diff --git a/web/themes/smtcomp/layouts/_default/result_comp.html b/web/themes/smtcomp/layouts/_default/result_comp.html
index cd660ee8..f32288d5 100644
--- a/web/themes/smtcomp/layouts/_default/result_comp.html
+++ b/web/themes/smtcomp/layouts/_default/result_comp.html
@@ -58,7 +58,7 @@ <h3>{{ index $category_names $cat }}</h3>
       <th class="center">Time Score</th>
     </tr>
   </thead>
-  {{ range $solver := (sort . "division" "asc") }}
+  {{ range $solver := . }}
   <tr {{ if eq $solver.competing "no" }}class = "non-competing" {{ end }}>
     <td><a href="../{{ $solver.division | lower }}-{{ replace ($.Params.track | strings.TrimPrefix "track_") "_" "-" }}">{{ $solver.division }}</a></td>
     <td>