]> mj.ucw.cz Git - eval.git/log
eval.git
16 years agoFinal verdicts are always on a separate line.
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.

16 years agoIgnore src/syscall-table.h.
Martin Mares [Sun, 3 Feb 2008 23:04:55 +0000 (00:04 +0100)]
Ignore src/syscall-table.h.

16 years agoDocument BOX_EXTRAS.
Martin Mares [Sun, 3 Feb 2008 22:50:26 +0000 (23:50 +0100)]
Document BOX_EXTRAS.

16 years agoBOX_EXTRAS a part of TEST_SANDBOX_OPTS now.
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.

16 years agoCall `expand-var' for all variable expansions.
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.

16 years agoDecreased the amount of shell magic in override-vars.
Martin Mares [Sun, 3 Feb 2008 22:38:22 +0000 (23:38 +0100)]
Decreased the amount of shell magic in override-vars.

16 years agoUse per-extension overrides for setting of compilation commands.
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.

16 years agoImplemented general mechanism for overriding variables for specific
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.

16 years agoAdded user rules for environment.
Martin Mares [Sun, 3 Feb 2008 21:34:36 +0000 (22:34 +0100)]
Added user rules for environment.

16 years agoWe want BOXDIR to be always absolute.
Martin Mares [Fri, 1 Feb 2008 10:51:00 +0000 (11:51 +0100)]
We want BOXDIR to be always absolute.

16 years agoUpdated date.
Martin Mares [Sat, 19 Jan 2008 13:46:20 +0000 (14:46 +0100)]
Updated date.

16 years agoNo longer force gcc version.
Martin Mares [Sat, 19 Jan 2008 13:45:54 +0000 (14:45 +0100)]
No longer force gcc version.

16 years agoRenamed the actions from SC_xxx to AC_xxx.
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.)

16 years agoAdded a switch for defining new path rules.
Martin Mares [Sat, 19 Jan 2008 13:43:37 +0000 (14:43 +0100)]
Added a switch for defining new path rules.

16 years agoClean up handling of syscall names.
Martin Mares [Sat, 19 Jan 2008 10:11:09 +0000 (11:11 +0100)]
Clean up handling of syscall names.

16 years agoPermit /usr/share/locale.
Martin Mares [Sat, 19 Jan 2008 10:09:41 +0000 (11:09 +0100)]
Permit /usr/share/locale.

16 years agoConverted matching of paths to a table-driven system.
Martin Mares [Sat, 19 Jan 2008 10:09:13 +0000 (11:09 +0100)]
Converted matching of paths to a table-driven system.

16 years agoEnable ugetrlimit() in liberal mode.
Martin Mares [Sat, 19 Jan 2008 09:53:47 +0000 (10:53 +0100)]
Enable ugetrlimit() in liberal mode.

16 years agoAdded a switch for manual control of syscall actions.
Martin Mares [Sat, 19 Jan 2008 09:50:24 +0000 (10:50 +0100)]
Added a switch for manual control of syscall actions.

16 years agoFiltering of syscalls is now driven by a table.
Martin Mares [Sat, 19 Jan 2008 09:24:08 +0000 (10:24 +0100)]
Filtering of syscalls is now driven by a table.

16 years agoGenerate a table of all known syscalls and use it to show syscall
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.

16 years agoFixed a bug in tokenization.
Martin Mares [Sat, 24 Nov 2007 14:38:39 +0000 (15:38 +0100)]
Fixed a bug in tokenization.

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).