]>
mj.ucw.cz Git - eval.git/log
Martin Mares [Tue, 19 Feb 2008 10:54:55 +0000 (11:54 +0100)]
Final verdicts are always on a separate line.
Previously, the verbose log messages could have printed an incomplete
line, for example when the program was terminated in the middle of
a syscall.
Martin Mares [Sun, 3 Feb 2008 23:04:55 +0000 (00:04 +0100)]
Ignore src/syscall-table.h.
Martin Mares [Sun, 3 Feb 2008 22:50:26 +0000 (23:50 +0100)]
Document BOX_EXTRAS.
Martin Mares [Sun, 3 Feb 2008 22:49:08 +0000 (23:49 +0100)]
BOX_EXTRAS a part of TEST_SANDBOX_OPTS now.
WARNING: You need to adjust your configs if you override TEST_SANDBOX_OPTS.
Martin Mares [Sun, 3 Feb 2008 22:47:58 +0000 (23:47 +0100)]
Call `expand-var' for all variable expansions.
This is a new function which does the same as the original expansions,
but this is going to change soon.
Martin Mares [Sun, 3 Feb 2008 22:38:22 +0000 (23:38 +0100)]
Decreased the amount of shell magic in override-vars.
Martin Mares [Sun, 3 Feb 2008 22:29:03 +0000 (23:29 +0100)]
Use per-extension overrides for setting of compilation commands.
WARNING: The COMP_xxx variables are no longer usable.
Martin Mares [Sun, 3 Feb 2008 22:22:00 +0000 (23:22 +0100)]
Implemented general mechanism for overriding variables for specific
extensions or test cases. See the `override-vars' function.
Loading of per-test configuration has been moved to `test-config' in bin/lib.
Martin Mares [Sun, 3 Feb 2008 21:34:36 +0000 (22:34 +0100)]
Added user rules for environment.
Martin Mares [Fri, 1 Feb 2008 10:51:00 +0000 (11:51 +0100)]
We want BOXDIR to be always absolute.
Martin Mares [Sat, 19 Jan 2008 13:46:20 +0000 (14:46 +0100)]
Updated date.
Martin Mares [Sat, 19 Jan 2008 13:45:54 +0000 (14:45 +0100)]
No longer force gcc version.
Martin Mares [Sat, 19 Jan 2008 13:45:03 +0000 (14:45 +0100)]
Renamed the actions from SC_xxx to AC_xxx.
(They are no longer specific to syscalls.)
Martin Mares [Sat, 19 Jan 2008 13:43:37 +0000 (14:43 +0100)]
Added a switch for defining new path rules.
Martin Mares [Sat, 19 Jan 2008 10:11:09 +0000 (11:11 +0100)]
Clean up handling of syscall names.
Martin Mares [Sat, 19 Jan 2008 10:09:41 +0000 (11:09 +0100)]
Permit /usr/share/locale.
Martin Mares [Sat, 19 Jan 2008 10:09:13 +0000 (11:09 +0100)]
Converted matching of paths to a table-driven system.
Martin Mares [Sat, 19 Jan 2008 09:53:47 +0000 (10:53 +0100)]
Enable ugetrlimit() in liberal mode.
Martin Mares [Sat, 19 Jan 2008 09:50:24 +0000 (10:50 +0100)]
Added a switch for manual control of syscall actions.
Martin Mares [Sat, 19 Jan 2008 09:24:08 +0000 (10:24 +0100)]
Filtering of syscalls is now driven by a table.
Martin Mares [Fri, 18 Jan 2008 22:48:21 +0000 (23:48 +0100)]
Generate a table of all known syscalls and use it to show syscall
names instead of numbers.
Martin Mares [Sat, 24 Nov 2007 14:38:39 +0000 (15:38 +0100)]
Fixed a bug in tokenization.
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).