Publish results (#124)

* Fix unsat core pretty name. * Remove TODO. * Publish results. * Remove sorting in competition wide scores.
SMT-COMP · Jul 22, 2024 · dd9d55b · dd9d55b
1 parent 27ae0ec
commit dd9d55b
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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>