]> mj.ucw.cz Git - moe.git/log
moe.git
16 years agoMore TODO on judges.
Martin Mares [Sat, 24 Nov 2007 14:27:43 +0000 (15:27 +0100)]
More TODO on judges.

16 years agoAdded notes on judges.
Martin Mares [Sat, 24 Nov 2007 14:27:26 +0000 (15:27 +0100)]
Added notes on judges.

16 years agoFirst working version of the shuffling judge.
Martin Mares [Sat, 24 Nov 2007 14:26:11 +0000 (15:26 +0100)]
First working version of the shuffling judge.

16 years agoIgnore the compiled binaries.
Martin Mares [Mon, 19 Nov 2007 08:22:52 +0000 (09:22 +0100)]
Ignore the compiled binaries.

16 years agoAvoid compiling judge-shuff by default, it is not finished yet.
Martin Mares [Mon, 19 Nov 2007 08:18:25 +0000 (09:18 +0100)]
Avoid compiling judge-shuff by default, it is not finished yet.

16 years agoSimplify temporary file deletion in the tester.
Martin Mares [Mon, 19 Nov 2007 08:17:39 +0000 (09:17 +0100)]
Simplify temporary file deletion in the tester.

The advantage of doing a wildcard rm instead of deleting the files
individually is that you can use $n for temporary files, which are not
mentioned as explicit inputs or outputs in the test case.

16 years agoClean judge-shuff.
Martin Mares [Sun, 18 Nov 2007 19:26:02 +0000 (20:26 +0100)]
Clean judge-shuff.

16 years agoAdded test cases for the tokenizing judge.
Martin Mares [Sun, 18 Nov 2007 19:25:26 +0000 (20:25 +0100)]
Added test cases for the tokenizing judge.

16 years agoAdded tests for the comment filter and fixed a bug there.
Martin Mares [Sun, 18 Nov 2007 19:06:40 +0000 (20:06 +0100)]
Added tests for the comment filter and fixed a bug there.

16 years agoAdded unit tests for io and tokenizer modules.
Martin Mares [Sun, 18 Nov 2007 19:00:46 +0000 (20:00 +0100)]
Added unit tests for io and tokenizer modules.

16 years agotester: Create tmp directory if necessary.
Martin Mares [Sun, 18 Nov 2007 19:00:20 +0000 (20:00 +0100)]
tester: Create tmp directory if necessary.

16 years agoAn empty token is not a valid number.
Martin Mares [Sun, 18 Nov 2007 18:53:17 +0000 (19:53 +0100)]
An empty token is not a valid number.

16 years agoDefault token buffer is 1 byte long, which makes even small limits on
Martin Mares [Sun, 18 Nov 2007 18:50:46 +0000 (19:50 +0100)]
Default token buffer is 1 byte long, which makes even small limits on
maximum token size work.

16 years agoImported the unit-test module from libucw.
Martin Mares [Sun, 18 Nov 2007 18:36:12 +0000 (19:36 +0100)]
Imported the unit-test module from libucw.

16 years agoBetter formatting of pedant output. EV_PEDANT can also set pedant's options.
Martin Mares [Sun, 18 Nov 2007 17:15:44 +0000 (18:15 +0100)]
Better formatting of pedant output. EV_PEDANT can also set pedant's options.

16 years agoRewritten the pedant utility. It is now able to limit the output per
Martin Mares [Sun, 18 Nov 2007 17:15:18 +0000 (18:15 +0100)]
Rewritten the pedant utility. It is now able to limit the output per
warning type and to suppress global statistics on request.

16 years agoImplemented output filters (see OUTPUT_FILTER config variable).
Martin Mares [Sun, 18 Nov 2007 14:16:13 +0000 (15:16 +0100)]
Implemented output filters (see OUTPUT_FILTER config variable).

Also increased robustness of parameter expansion in SYNTAX_CHECK and
OUTPUT_CHECK, embedded redirections should work fine now.

16 years agoJust backing up a part of judge-shuff, will continue later.
Martin Mares [Sun, 18 Nov 2007 13:52:52 +0000 (14:52 +0100)]
Just backing up a part of judge-shuff, will continue later.

16 years agoAdded real and case-insensitive modes to judge-tok.
Martin Mares [Sun, 18 Nov 2007 10:15:52 +0000 (11:15 +0100)]
Added real and case-insensitive modes to judge-tok.

16 years agoAdded a filter for weeding out comments.
Martin Mares [Sat, 17 Nov 2007 22:07:53 +0000 (23:07 +0100)]
Added a filter for weeding out comments.

16 years agoFixed a silly bug.
Martin Mares [Sat, 17 Nov 2007 22:07:43 +0000 (23:07 +0100)]
Fixed a silly bug.

16 years agoRemember to clean up everything.
Martin Mares [Sat, 17 Nov 2007 22:03:13 +0000 (23:03 +0100)]
Remember to clean up everything.

16 years agoImproved parsing of switches.
Martin Mares [Sat, 17 Nov 2007 22:02:44 +0000 (23:02 +0100)]
Improved parsing of switches.

16 years agoAdded a simple judge on sequences of tokens.
Martin Mares [Sat, 17 Nov 2007 21:58:49 +0000 (22:58 +0100)]
Added a simple judge on sequences of tokens.

16 years agoBasic functions for building of judges.
Martin Mares [Sat, 17 Nov 2007 21:31:07 +0000 (22:31 +0100)]
Basic functions for building of judges.

17 years agoLog a different message when a fatal signal has been delivered before
Martin Mares [Thu, 1 Nov 2007 08:59:51 +0000 (09:59 +0100)]
Log a different message when a fatal signal has been delivered before
the program issued its first syscall. This usually happens when the
program is too big to be loaded, but execve() has got too far to be
able to return to the original process image.

Also fixed a race condition which caused the execve() syscall to be
occassionally missed by the boxkeeper.

17 years agoBring it up to date.
Martin Mares [Fri, 17 Aug 2007 12:59:01 +0000 (14:59 +0200)]
Bring it up to date.

17 years agoCleaned up.
Martin Mares [Fri, 17 Aug 2007 12:56:23 +0000 (14:56 +0200)]
Cleaned up.

17 years agoIgnore the directory with certificates.
Martin Mares [Fri, 17 Aug 2007 12:52:13 +0000 (14:52 +0200)]
Ignore the directory with certificates.

17 years agoUse `char *' for all strings instead of `byte *'.
Martin Mares [Fri, 17 Aug 2007 12:51:33 +0000 (14:51 +0200)]
Use `char *' for all strings instead of `byte *'.

17 years agoMake submitd compile with the new libucw.
Martin Mares [Fri, 17 Aug 2007 12:49:26 +0000 (14:49 +0200)]
Make submitd compile with the new libucw.

17 years agoUse the normal package of stand-alone Holmes libraries.
Martin Mares [Fri, 17 Aug 2007 12:49:08 +0000 (14:49 +0200)]
Use the normal package of stand-alone Holmes libraries.

17 years agoAllow merging of results from different testing directories.
Martin Mares [Thu, 5 Jul 2007 12:02:45 +0000 (14:02 +0200)]
Allow merging of results from different testing directories.

17 years agoInclude extras in HTML output (if enabled).
Martin Mares [Thu, 5 Jul 2007 10:46:58 +0000 (12:46 +0200)]
Include extras in HTML output (if enabled).

17 years agoFixed a comment.
Martin Mares [Thu, 5 Jul 2007 10:13:45 +0000 (12:13 +0200)]
Fixed a comment.

17 years agoAnother obsolete script removed.
Martin Mares [Thu, 5 Jul 2007 10:12:46 +0000 (12:12 +0200)]
Another obsolete script removed.

17 years agoRemoved mo-create-floppy, it is horribly glacial.
Martin Mares [Thu, 5 Jul 2007 10:11:40 +0000 (12:11 +0200)]
Removed mo-create-floppy, it is horribly glacial.

17 years agoComment on obsolescence of this script.
Martin Mares [Thu, 5 Jul 2007 09:53:07 +0000 (11:53 +0200)]
Comment on obsolescence of this script.

17 years agoThe reporting script now understands grouping.
Martin Mares [Thu, 5 Jul 2007 09:50:38 +0000 (11:50 +0200)]
The reporting script now understands grouping.

17 years agoPerform proper merging of grouped testcases.
Martin Mares [Thu, 5 Jul 2007 09:34:35 +0000 (11:34 +0200)]
Perform proper merging of grouped testcases.

By default, we show all testcases, but the total number of points per task
is calculated from merged groups. The "--merged" switch shows merged cases
instead. The "--split" switch is gone.

17 years agoTranslate names of suicidial signals, too.
Martin Mares [Thu, 5 Jul 2007 09:26:51 +0000 (11:26 +0200)]
Translate names of suicidial signals, too.

17 years agoFixed a typo.
Martin Mares [Thu, 5 Jul 2007 09:26:34 +0000 (11:26 +0200)]
Fixed a typo.

17 years agoRemoved an useless exception.
Martin Mares [Thu, 5 Jul 2007 09:24:37 +0000 (11:24 +0200)]
Removed an useless exception.

17 years agoRemoved dots at the end of some messages.
Martin Mares [Thu, 5 Jul 2007 09:16:06 +0000 (11:16 +0200)]
Removed dots at the end of some messages.

17 years agoTranslate signal numbers to readable strings.
Martin Mares [Thu, 5 Jul 2007 09:13:54 +0000 (11:13 +0200)]
Translate signal numbers to readable strings.

17 years agoImplemented translation of FPC runtime errors to readable strings.
Martin Mares [Thu, 5 Jul 2007 09:00:12 +0000 (11:00 +0200)]
Implemented translation of FPC runtime errors to readable strings.

17 years agoRead the right log file.
Martin Mares [Thu, 5 Jul 2007 08:59:59 +0000 (10:59 +0200)]
Read the right log file.

17 years agoImproved formatting of login tickets.
Martin Mares [Wed, 4 Jul 2007 18:47:38 +0000 (20:47 +0200)]
Improved formatting of login tickets.

17 years agoNew script for distribution of feedback.
Martin Mares [Tue, 3 Jul 2007 12:27:10 +0000 (14:27 +0200)]
New script for distribution of feedback.

17 years agoAdded a simple evaluation report utility.
Martin Mares [Tue, 3 Jul 2007 11:55:31 +0000 (13:55 +0200)]
Added a simple evaluation report utility.

17 years agoAsk libc to report fatal errors to stderr instead of /dev/tty.
Martin Mares [Tue, 3 Jul 2007 10:30:46 +0000 (12:30 +0200)]
Ask libc to report fatal errors to stderr instead of /dev/tty.

17 years agosubmit and check now respect per-task configuration files.
Martin Mares [Tue, 3 Jul 2007 08:23:35 +0000 (10:23 +0200)]
submit and check now respect per-task configuration files.

17 years ago`ev' is now able to process open-data problems.
Martin Mares [Tue, 3 Jul 2007 08:14:40 +0000 (10:14 +0200)]
`ev' is now able to process open-data problems.
Removed ev-open and ev-open-all.

17 years agoList of contestants updated.
Martin Mares [Tue, 3 Jul 2007 07:54:16 +0000 (09:54 +0200)]
List of contestants updated.

17 years agoln -> try-ln
Martin Mares [Tue, 3 Jul 2007 07:48:44 +0000 (09:48 +0200)]
ln -> try-ln

17 years agoFixed check of open-data problems from non-default directories.
Martin Mares [Tue, 3 Jul 2007 07:48:19 +0000 (09:48 +0200)]
Fixed check of open-data problems from non-default directories.

17 years agoFix permissions of ~mo-submit.
Martin Mares [Tue, 3 Jul 2007 06:44:18 +0000 (08:44 +0200)]
Fix permissions of ~mo-submit.

17 years agoOpen-data parts are numbered with two-digit numbers.
Martin Mares [Mon, 2 Jul 2007 21:13:17 +0000 (23:13 +0200)]
Open-data parts are numbered with two-digit numbers.

17 years agoUpdated for CEOI.
Martin Mares [Mon, 2 Jul 2007 21:11:52 +0000 (23:11 +0200)]
Updated for CEOI.

17 years agoEnabled -lm in both C and C++.
Martin Mares [Mon, 2 Jul 2007 09:19:58 +0000 (11:19 +0200)]
Enabled -lm in both C and C++.

17 years agoTypo.
Martin Mares [Mon, 2 Jul 2007 09:09:25 +0000 (11:09 +0200)]
Typo.

17 years agoSplit off mo-create-eval from mo-install.
Martin Mares [Sun, 1 Jul 2007 21:10:33 +0000 (23:10 +0200)]
Split off mo-create-eval from mo-install.

17 years agoAdded a couple of debugging hacks (the EV_xxx variables).
Martin Mares [Sun, 1 Jul 2007 21:42:55 +0000 (23:42 +0200)]
Added a couple of debugging hacks (the EV_xxx variables).

17 years agoAdded a script for installing of certificates.
Martin Mares [Sun, 1 Jul 2007 18:12:30 +0000 (20:12 +0200)]
Added a script for installing of certificates.

17 years agoCEOI 2007 template.
Martin Mares [Sun, 1 Jul 2007 15:08:32 +0000 (17:08 +0200)]
CEOI 2007 template.

17 years agoCEOI 2007 user list.
Martin Mares [Sun, 1 Jul 2007 15:06:25 +0000 (17:06 +0200)]
CEOI 2007 user list.

17 years agoCEOI settings.
Martin Mares [Sun, 1 Jul 2007 13:55:05 +0000 (15:55 +0200)]
CEOI settings.

17 years agoMerge with git+ssh://git.ucw.cz/home/mj/GIT/eval.git
Martin Mares [Sun, 1 Jul 2007 14:49:06 +0000 (16:49 +0200)]
Merge with git+ssh://git.ucw.cz/home/mj/GIT/eval.git

17 years agoA fix for a fix.
Martin Mares [Sun, 1 Jul 2007 11:06:42 +0000 (13:06 +0200)]
A fix for a fix.

17 years agoFixed bug in searching for alternative solutions.
Martin Mares [Sun, 1 Jul 2007 11:05:28 +0000 (13:05 +0200)]
Fixed bug in searching for alternative solutions.

17 years agoAntoher fix to the patch.
Martin Mares [Fri, 29 Jun 2007 20:31:37 +0000 (22:31 +0200)]
Antoher fix to the patch.

17 years agoOops, there was some crap in the patch.
Martin Mares [Fri, 29 Jun 2007 20:27:54 +0000 (22:27 +0200)]
Oops, there was some crap in the patch.

17 years agoUff, fixed a bug.
Martin Mares [Fri, 29 Jun 2007 20:26:29 +0000 (22:26 +0200)]
Uff, fixed a bug.

17 years agoAdded a bug fix for Net::SSLeay.
Martin Mares [Fri, 29 Jun 2007 20:24:25 +0000 (22:24 +0200)]
Added a bug fix for Net::SSLeay.

17 years agoAct sensibly when connection to the server is lost.
Martin Mares [Fri, 29 Jun 2007 20:22:53 +0000 (22:22 +0200)]
Act sensibly when connection to the server is lost.

17 years agoRecord local history in the GUI, too.
Martin Mares [Fri, 29 Jun 2007 15:49:14 +0000 (17:49 +0200)]
Record local history in the GUI, too.

17 years agoKeep local history of submissions in ~/.history.
Martin Mares [Fri, 29 Jun 2007 15:47:30 +0000 (17:47 +0200)]
Keep local history of submissions in ~/.history.

17 years agoAllow to override a failed check (if configured).
Martin Mares [Fri, 29 Jun 2007 15:33:57 +0000 (17:33 +0200)]
Allow to override a failed check (if configured).

17 years agoChanged buffer flushing to explicit in a vain attempt to hunt down problems
Martin Mares [Fri, 29 Jun 2007 15:03:42 +0000 (17:03 +0200)]
Changed buffer flushing to explicit in a vain attempt to hunt down problems
with broken connections.

17 years agoImplemented NOP command and used it for testing that the server still
Martin Mares [Fri, 29 Jun 2007 14:41:33 +0000 (16:41 +0200)]
Implemented NOP command and used it for testing that the server still
exists.

17 years agoUse stock icons where applicable.
Martin Mares [Fri, 29 Jun 2007 14:34:44 +0000 (16:34 +0200)]
Use stock icons where applicable.

17 years agoAdded missing desktop files.
Martin Mares [Fri, 29 Jun 2007 13:46:14 +0000 (15:46 +0200)]
Added missing desktop files.

17 years agoAdded checking of contest time.
Martin Mares [Thu, 28 Jun 2007 21:23:48 +0000 (23:23 +0200)]
Added checking of contest time.

17 years agoImplemented a limit on number of submits of a single task part.
Martin Mares [Thu, 28 Jun 2007 21:03:45 +0000 (23:03 +0200)]
Implemented a limit on number of submits of a single task part.

17 years agoKeep history of submitted tasks.
Martin Mares [Thu, 28 Jun 2007 19:37:21 +0000 (21:37 +0200)]
Keep history of submitted tasks.

17 years agoSubmitd: each access rule can contain multiple addrmasks.
Martin Mares [Thu, 28 Jun 2007 19:06:34 +0000 (21:06 +0200)]
Submitd: each access rule can contain multiple addrmasks.

17 years agoPruned TODO.
Martin Mares [Thu, 28 Jun 2007 18:32:17 +0000 (20:32 +0200)]
Pruned TODO.

17 years agoAdded the show-submits utility.
Martin Mares [Thu, 28 Jun 2007 18:31:34 +0000 (20:31 +0200)]
Added the show-submits utility.

17 years agoCleaned up installation of Perl modules. Also invoke submit makefile from
Martin Mares [Thu, 28 Jun 2007 18:28:58 +0000 (20:28 +0200)]
Cleaned up installation of Perl modules. Also invoke submit makefile from
the top-level makefile.

17 years agoMaximum submission size is now configurable per task.
Martin Mares [Thu, 28 Jun 2007 18:06:54 +0000 (20:06 +0200)]
Maximum submission size is now configurable per task.

17 years agoLogfile of submit and check renamed to `check-log' to prevent collisions.
Martin Mares [Thu, 28 Jun 2007 17:27:33 +0000 (19:27 +0200)]
Logfile of submit and check renamed to `check-log' to prevent collisions.

17 years agoCosmetic changes.
Martin Mares [Thu, 28 Jun 2007 17:23:46 +0000 (19:23 +0200)]
Cosmetic changes.

17 years agoThe retest utility will no longer be needed.
Martin Mares [Thu, 28 Jun 2007 17:22:11 +0000 (19:22 +0200)]
The retest utility will no longer be needed.

17 years agoCleaned up handling of SDIR and SRCN.
Martin Mares [Thu, 28 Jun 2007 17:21:07 +0000 (19:21 +0200)]
Cleaned up handling of SDIR and SRCN.

File and directory names with spaces should work now.

17 years agoLog forced submits.
Martin Mares [Thu, 28 Jun 2007 14:48:32 +0000 (16:48 +0200)]
Log forced submits.

17 years agoSynchronized TODO.
Martin Mares [Thu, 28 Jun 2007 14:48:21 +0000 (16:48 +0200)]
Synchronized TODO.

17 years agoMade path to libucw configurable.
Martin Mares [Thu, 28 Jun 2007 16:47:17 +0000 (18:47 +0200)]
Made path to libucw configurable.

17 years agoCosmetic changes.
Martin Mares [Thu, 28 Jun 2007 16:41:47 +0000 (18:41 +0200)]
Cosmetic changes.

17 years agoAdapted to recent libucw (log -> msg).
Martin Mares [Thu, 28 Jun 2007 16:01:14 +0000 (18:01 +0200)]
Adapted to recent libucw (log -> msg).

17 years agoAdded merging of test cases directly to the score table generator.
Martin Mares [Fri, 15 Jun 2007 10:07:46 +0000 (12:07 +0200)]
Added merging of test cases directly to the score table generator.