Cleanups in mop/eval/.

diff --git a/mop/eval/mo-ev-all.sh b/mop/eval/mo-ev-all.sh
index 8ce6dff05fc7b8244e905e94bb9abb5989c9ed71..f1abc6f1ee17ceef708af6405919a301da7975b0 100755 (executable)
--- a/mop/eval/mo-ev-all.sh
+++ b/mop/eval/mo-ev-all.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+# Run `ev' on all solutions of given tasks
 
 [ -n "$1" ] || { echo "Usage: mo-ev-all <tasks>" ; exit 1 ; }
 

diff --git a/mop/eval/mo-ev-inc.sh b/mop/eval/mo-ev-inc.sh
index 26f856bc3e9fc7d92333ed357cff72c44a80e69b..437d9afbee24be8446c582f10beaed3b5432ef5b 100755 (executable)
--- a/mop/eval/mo-ev-inc.sh
+++ b/mop/eval/mo-ev-inc.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
+# An incremental evaluator: detect which solutions were changed since
+# last run and run `ev' on them.
 
 [ -n "$1" ] || { echo "Usage: mo-ev-inc [--force] <tasks>" ; exit 1 ; }
 

diff --git a/mop/eval/mo-get-users.sh b/mop/eval/mo-get-users.sh
index 8adb6d3819ad66e5881585f78780451ee1e22eb7..172e5223589acc642a28b3f320dbed24cb5fd861 100755 (executable)
--- a/mop/eval/mo-get-users.sh
+++ b/mop/eval/mo-get-users.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+# List all contestants according to $CT_USER_LIST
 
 if [ "$1" = --help ] ; then
        echo "Usage: mo-get-users [--full]"

diff --git a/mop/eval/mo-report.sh b/mop/eval/mo-report.sh
index 57828b65c209ecd761b19f07fdc8f1230424e82e..8dc71ca1b7e4dd1eca53ff7f7251c281459e9e29 100755 (executable)
--- a/mop/eval/mo-report.sh
+++ b/mop/eval/mo-report.sh
@@ -1,4 +1,6 @@
 #!/usr/bin/perl
+# A simple generator of evaluation reports
+# (c) 2007 Martin Mares <mj@ucw.cz>
 
 use strict;
 use warnings;

diff --git a/mop/eval/mo-score.sh b/mop/eval/mo-score.sh
index 4dec3a11677f9106d694340be829cfb2a0c1f8fa..9ed73f4a2cb8f144a08d2330dea88553f550ea97 100755 (executable)
--- a/mop/eval/mo-score.sh
+++ b/mop/eval/mo-score.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/perl
+# A generator of score sheets. More ugly than it deserves.
 
 $debug = 0;
 $detail = 0;
@@ -199,7 +200,7 @@ if ($debug) {
        my @perm;
        &printHtmlHeader(\@perm);
        print "<tbody>";
-       
+
        foreach $r (@table[1..($#table - 1)]) {
                &printHtmlRow(@{$r}[@perm]);
        }
@@ -252,18 +253,18 @@ sub printHtmlHeader {
        $p++;
        map { push @$perm, $p++ } (1..$nSub);
        push @$perm, $p - $nSub - 1;
-       
+
        $colspec .= "<colgroup span='" . $nSub . "'>\n";
        $colspec .= "<colgroup span='1'>\n";
        $hdr1 .= "<th colspan='" . ($nSub + 1) . "' style='border-bottom:1px solid black;'>$task";
        $hdr2 .= join("", map { "<th>$_" } sort {$a <=> $b} keys %{$known_tests{$task}});
        $hdr2 .= "<th>Total";
      }
-   
+
      $hdr1 .= "<th rowspan='2'>Total";
-     
+
    } else {  ## no detail
-   
+
      $hdr1 = "<th>Rank<th>User<th>Name";
      $extras and $p++ and push @$perm, 3 and $hdr1.="<th>Extra" and $colspec.="<colgroup span=1>";                  ##Extra hack
 
@@ -276,10 +277,10 @@ sub printHtmlHeader {
    }
 
    push @$perm, $p++;
-   
+
    print "<TABLE rules=groups frame=all border='1' cellpadding='2'>\n";
    print "$colspec<colgroup span='1'>\n";
    print "<tr>$hdr1</tr>\n";
    print "<tr>$hdr2</tr>\n" if $detail;
-  
+
 }