]>
mj.ucw.cz Git - moe.git/log
Martin Mares [Sat, 24 Nov 2007 14:27:43 +0000 (15:27 +0100)]
More TODO on judges.
Martin Mares [Sat, 24 Nov 2007 14:27:26 +0000 (15:27 +0100)]
Added notes on judges.
Martin Mares [Sat, 24 Nov 2007 14:26:11 +0000 (15:26 +0100)]
First working version of the shuffling judge.
Martin Mares [Mon, 19 Nov 2007 08:22:52 +0000 (09:22 +0100)]
Ignore the compiled binaries.
Martin Mares [Mon, 19 Nov 2007 08:18:25 +0000 (09:18 +0100)]
Avoid compiling judge-shuff by default, it is not finished yet.
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.
Martin Mares [Sun, 18 Nov 2007 19:26:02 +0000 (20:26 +0100)]
Clean judge-shuff.
Martin Mares [Sun, 18 Nov 2007 19:25:26 +0000 (20:25 +0100)]
Added test cases for the tokenizing judge.
Martin Mares [Sun, 18 Nov 2007 19:06:40 +0000 (20:06 +0100)]
Added tests for the comment filter and fixed a bug there.
Martin Mares [Sun, 18 Nov 2007 19:00:46 +0000 (20:00 +0100)]
Added unit tests for io and tokenizer modules.
Martin Mares [Sun, 18 Nov 2007 19:00:20 +0000 (20:00 +0100)]
tester: Create tmp directory if necessary.
Martin Mares [Sun, 18 Nov 2007 18:53:17 +0000 (19:53 +0100)]
An empty token is not a valid number.
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.
Martin Mares [Sun, 18 Nov 2007 18:36:12 +0000 (19:36 +0100)]
Imported the unit-test module from libucw.
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.
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.
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.
Martin Mares [Sun, 18 Nov 2007 13:52:52 +0000 (14:52 +0100)]
Just backing up a part of judge-shuff, will continue later.
Martin Mares [Sun, 18 Nov 2007 10:15:52 +0000 (11:15 +0100)]
Added real and case-insensitive modes to judge-tok.
Martin Mares [Sat, 17 Nov 2007 22:07:53 +0000 (23:07 +0100)]
Added a filter for weeding out comments.
Martin Mares [Sat, 17 Nov 2007 22:07:43 +0000 (23:07 +0100)]
Fixed a silly bug.
Martin Mares [Sat, 17 Nov 2007 22:03:13 +0000 (23:03 +0100)]
Remember to clean up everything.
Martin Mares [Sat, 17 Nov 2007 22:02:44 +0000 (23:02 +0100)]
Improved parsing of switches.
Martin Mares [Sat, 17 Nov 2007 21:58:49 +0000 (22:58 +0100)]
Added a simple judge on sequences of tokens.
Martin Mares [Sat, 17 Nov 2007 21:31:07 +0000 (22:31 +0100)]
Basic functions for building of judges.
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.
Martin Mares [Fri, 17 Aug 2007 12:59:01 +0000 (14:59 +0200)]
Bring it up to date.
Martin Mares [Fri, 17 Aug 2007 12:56:23 +0000 (14:56 +0200)]
Cleaned up.
Martin Mares [Fri, 17 Aug 2007 12:52:13 +0000 (14:52 +0200)]
Ignore the directory with certificates.
Martin Mares [Fri, 17 Aug 2007 12:51:33 +0000 (14:51 +0200)]
Use `char *' for all strings instead of `byte *'.
Martin Mares [Fri, 17 Aug 2007 12:49:26 +0000 (14:49 +0200)]
Make submitd compile with the new libucw.
Martin Mares [Fri, 17 Aug 2007 12:49:08 +0000 (14:49 +0200)]
Use the normal package of stand-alone Holmes libraries.
Martin Mares [Thu, 5 Jul 2007 12:02:45 +0000 (14:02 +0200)]
Allow merging of results from different testing directories.
Martin Mares [Thu, 5 Jul 2007 10:46:58 +0000 (12:46 +0200)]
Include extras in HTML output (if enabled).
Martin Mares [Thu, 5 Jul 2007 10:13:45 +0000 (12:13 +0200)]
Fixed a comment.
Martin Mares [Thu, 5 Jul 2007 10:12:46 +0000 (12:12 +0200)]
Another obsolete script removed.
Martin Mares [Thu, 5 Jul 2007 10:11:40 +0000 (12:11 +0200)]
Removed mo-create-floppy, it is horribly glacial.
Martin Mares [Thu, 5 Jul 2007 09:53:07 +0000 (11:53 +0200)]
Comment on obsolescence of this script.
Martin Mares [Thu, 5 Jul 2007 09:50:38 +0000 (11:50 +0200)]
The reporting script now understands grouping.
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.
Martin Mares [Thu, 5 Jul 2007 09:26:51 +0000 (11:26 +0200)]
Translate names of suicidial signals, too.
Martin Mares [Thu, 5 Jul 2007 09:26:34 +0000 (11:26 +0200)]
Fixed a typo.
Martin Mares [Thu, 5 Jul 2007 09:24:37 +0000 (11:24 +0200)]
Removed an useless exception.
Martin Mares [Thu, 5 Jul 2007 09:16:06 +0000 (11:16 +0200)]
Removed dots at the end of some messages.
Martin Mares [Thu, 5 Jul 2007 09:13:54 +0000 (11:13 +0200)]
Translate signal numbers 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.
Martin Mares [Thu, 5 Jul 2007 08:59:59 +0000 (10:59 +0200)]
Read the right log file.
Martin Mares [Wed, 4 Jul 2007 18:47:38 +0000 (20:47 +0200)]
Improved formatting of login tickets.
Martin Mares [Tue, 3 Jul 2007 12:27:10 +0000 (14:27 +0200)]
New script for distribution of feedback.
Martin Mares [Tue, 3 Jul 2007 11:55:31 +0000 (13:55 +0200)]
Added a simple evaluation report utility.
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.
Martin Mares [Tue, 3 Jul 2007 08:23:35 +0000 (10:23 +0200)]
submit and check now respect per-task configuration files.
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.
Martin Mares [Tue, 3 Jul 2007 07:54:16 +0000 (09:54 +0200)]
List of contestants updated.
Martin Mares [Tue, 3 Jul 2007 07:48:44 +0000 (09:48 +0200)]
ln -> try-ln
Martin Mares [Tue, 3 Jul 2007 07:48:19 +0000 (09:48 +0200)]
Fixed check of open-data problems from non-default directories.
Martin Mares [Tue, 3 Jul 2007 06:44:18 +0000 (08:44 +0200)]
Fix permissions of ~mo-submit.
Martin Mares [Mon, 2 Jul 2007 21:13:17 +0000 (23:13 +0200)]
Open-data parts are numbered with two-digit numbers.
Martin Mares [Mon, 2 Jul 2007 21:11:52 +0000 (23:11 +0200)]
Updated for CEOI.
Martin Mares [Mon, 2 Jul 2007 09:19:58 +0000 (11:19 +0200)]
Enabled -lm in both C and C++.
Martin Mares [Mon, 2 Jul 2007 09:09:25 +0000 (11:09 +0200)]
Typo.
Martin Mares [Sun, 1 Jul 2007 21:10:33 +0000 (23:10 +0200)]
Split off mo-create-eval from mo-install.
Martin Mares [Sun, 1 Jul 2007 21:42:55 +0000 (23:42 +0200)]
Added a couple of debugging hacks (the EV_xxx variables).
Martin Mares [Sun, 1 Jul 2007 18:12:30 +0000 (20:12 +0200)]
Added a script for installing of certificates.
Martin Mares [Sun, 1 Jul 2007 15:08:32 +0000 (17:08 +0200)]
CEOI 2007 template.
Martin Mares [Sun, 1 Jul 2007 15:06:25 +0000 (17:06 +0200)]
CEOI 2007 user list.
Martin Mares [Sun, 1 Jul 2007 13:55:05 +0000 (15:55 +0200)]
CEOI settings.
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
Martin Mares [Sun, 1 Jul 2007 11:06:42 +0000 (13:06 +0200)]
A fix for a fix.
Martin Mares [Sun, 1 Jul 2007 11:05:28 +0000 (13:05 +0200)]
Fixed bug in searching for alternative solutions.
Martin Mares [Fri, 29 Jun 2007 20:31:37 +0000 (22:31 +0200)]
Antoher fix to the patch.
Martin Mares [Fri, 29 Jun 2007 20:27:54 +0000 (22:27 +0200)]
Oops, there was some crap in the patch.
Martin Mares [Fri, 29 Jun 2007 20:26:29 +0000 (22:26 +0200)]
Uff, fixed a bug.
Martin Mares [Fri, 29 Jun 2007 20:24:25 +0000 (22:24 +0200)]
Added a bug fix for Net::SSLeay.
Martin Mares [Fri, 29 Jun 2007 20:22:53 +0000 (22:22 +0200)]
Act sensibly when connection to the server is lost.
Martin Mares [Fri, 29 Jun 2007 15:49:14 +0000 (17:49 +0200)]
Record local history in the GUI, too.
Martin Mares [Fri, 29 Jun 2007 15:47:30 +0000 (17:47 +0200)]
Keep local history of submissions in ~/.history.
Martin Mares [Fri, 29 Jun 2007 15:33:57 +0000 (17:33 +0200)]
Allow to override a failed check (if configured).
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.
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.
Martin Mares [Fri, 29 Jun 2007 14:34:44 +0000 (16:34 +0200)]
Use stock icons where applicable.
Martin Mares [Fri, 29 Jun 2007 13:46:14 +0000 (15:46 +0200)]
Added missing desktop files.
Martin Mares [Thu, 28 Jun 2007 21:23:48 +0000 (23:23 +0200)]
Added checking of contest time.
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.
Martin Mares [Thu, 28 Jun 2007 19:37:21 +0000 (21:37 +0200)]
Keep history of submitted tasks.
Martin Mares [Thu, 28 Jun 2007 19:06:34 +0000 (21:06 +0200)]
Submitd: each access rule can contain multiple addrmasks.
Martin Mares [Thu, 28 Jun 2007 18:32:17 +0000 (20:32 +0200)]
Pruned TODO.
Martin Mares [Thu, 28 Jun 2007 18:31:34 +0000 (20:31 +0200)]
Added the show-submits utility.
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.
Martin Mares [Thu, 28 Jun 2007 18:06:54 +0000 (20:06 +0200)]
Maximum submission size is now configurable per task.
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.
Martin Mares [Thu, 28 Jun 2007 17:23:46 +0000 (19:23 +0200)]
Cosmetic changes.
Martin Mares [Thu, 28 Jun 2007 17:22:11 +0000 (19:22 +0200)]
The retest utility will no longer be needed.
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.
Martin Mares [Thu, 28 Jun 2007 14:48:32 +0000 (16:48 +0200)]
Log forced submits.
Martin Mares [Thu, 28 Jun 2007 14:48:21 +0000 (16:48 +0200)]
Synchronized TODO.
Martin Mares [Thu, 28 Jun 2007 16:47:17 +0000 (18:47 +0200)]
Made path to libucw configurable.
Martin Mares [Thu, 28 Jun 2007 16:41:47 +0000 (18:41 +0200)]
Cosmetic changes.
Martin Mares [Thu, 28 Jun 2007 16:01:14 +0000 (18:01 +0200)]
Adapted to recent libucw (log -> msg).
Martin Mares [Fri, 15 Jun 2007 10:07:46 +0000 (12:07 +0200)]
Added merging of test cases directly to the score table generator.