]>
mj.ucw.cz Git - eval.git/log
Martin Mares [Sun, 15 Mar 2009 12:31:14 +0000 (13:31 +0100)]
Default Pascal flags no longer enable range and stack checking.
Martin Mares [Sat, 14 Mar 2009 22:58:00 +0000 (23:58 +0100)]
The judge reports errors in a more useful way
They are reported to stderr as two lines: one is the location of the error,
another contains the error message. This is parsed by the evaluator and the
second line is displayed on the screen, while both are logged.
Martin Mares [Sat, 14 Mar 2009 22:57:02 +0000 (23:57 +0100)]
The judge IO streams remember the basename of the file instead of its full name
Martin Mares [Sat, 14 Mar 2009 22:35:12 +0000 (23:35 +0100)]
Compile the judge support functions as a separate library.
Martin Mares [Sat, 14 Mar 2009 22:34:57 +0000 (23:34 +0100)]
Judge: Added function get_nl() for checking of an expected end of line.
Martin Mares [Sat, 14 Mar 2009 17:56:24 +0000 (18:56 +0100)]
More makefile fixes.
Martin Mares [Sat, 14 Mar 2009 17:55:19 +0000 (18:55 +0100)]
Fix makefiles for compilation in a different directory.
Martin Mares [Sun, 2 Nov 2008 20:12:43 +0000 (21:12 +0100)]
Handle exit code translation failures gracefully.
Apparantly, "X=`false`" fails with a non-zero exit code
(and the script stops), even though "echo `false`" doesn't.
Martin Mares [Sat, 13 Sep 2008 13:08:18 +0000 (15:08 +0200)]
Avoid Perl when printing signal names.
Use `kill -l $SIG` as suggested by Lukas Turek.
This was the only Perl dependency in the whole libeval.
Martin Mares [Sun, 24 Aug 2008 22:09:47 +0000 (00:09 +0200)]
Updated TODO.
Martin Mares [Sun, 24 Aug 2008 22:09:32 +0000 (00:09 +0200)]
Sample memory usage only on selected syscalls.
Martin Mares [Sun, 24 Aug 2008 21:59:24 +0000 (23:59 +0200)]
Detect breakpoint instructions, which are reported as syscall #-1.
Martin Mares [Sun, 24 Aug 2008 21:56:44 +0000 (23:56 +0200)]
Introduced sampling of memory usage.
This patch introduces the basic stuff. So far, it samples VmPeak before and after
each syscalls, which will be fixed in subsequent commits.
Martin Mares [Sun, 24 Aug 2008 21:11:55 +0000 (23:11 +0200)]
Oops, there was a typo in the previous patch.
Martin Mares [Sun, 24 Aug 2008 21:08:40 +0000 (23:08 +0200)]
The mmap2() syscall is available even in the strict mode.
There is no reason to handle it differently from mmap().
Martin Mares [Sun, 24 Aug 2008 21:07:28 +0000 (23:07 +0200)]
Permit the set_tid_address() syscall.
It used by glibc 2.3.6 automagically.
Martin Mares [Sun, 24 Aug 2008 21:03:34 +0000 (23:03 +0200)]
Document various error reporting functions.
Martin Mares [Fri, 22 Aug 2008 18:25:01 +0000 (20:25 +0200)]
The FIXME was wrong, start_time is available whenever box_pid is.
Martin Mares [Fri, 22 Aug 2008 18:23:49 +0000 (20:23 +0200)]
Internal errors are reported properly.
Martin Mares [Fri, 22 Aug 2008 18:20:23 +0000 (20:20 +0200)]
Write all relevant information to the metafile.
Martin Mares [Fri, 22 Aug 2008 18:17:18 +0000 (20:17 +0200)]
usage() should exit with code 2, too.
Martin Mares [Fri, 22 Aug 2008 17:10:06 +0000 (19:10 +0200)]
We do not care about ancient C libraries any more.
Martin Mares [Fri, 22 Aug 2008 17:02:18 +0000 (19:02 +0200)]
Distinguish between die() and err().
die() is used for internal errors only and it exits with status 2,
err() is used for reporting errors of the process inside the box with status 1.
Martin Mares [Fri, 22 Aug 2008 16:54:49 +0000 (18:54 +0200)]
Changed formatting of time metas.
Martin Mares [Fri, 22 Aug 2008 16:50:08 +0000 (18:50 +0200)]
Gather timing statistics on unsuccessful exit, too.
Martin Mares [Fri, 22 Aug 2008 15:55:50 +0000 (17:55 +0200)]
Added basic support for writing meta-files.
Original patch by TomGav, cleaned up by me.
Martin Mares [Sat, 7 Jun 2008 21:17:15 +0000 (23:17 +0200)]
Use new Configure module to configure crypto libs.
Martin Mares [Sat, 7 Jun 2008 21:16:54 +0000 (23:16 +0200)]
Imported new Configure module from libucw which handles pkg-config.
Martin Mares [Sun, 25 May 2008 21:42:58 +0000 (23:42 +0200)]
CONFIG_MOP is now enabled by default.
Martin Mares [Sun, 25 May 2008 21:42:36 +0000 (23:42 +0200)]
Clean up exit codes of judges.
exit(1) always means an error in the judged output,
exit(2) is used whenever an internal error is encountered (missing files etc.).
Martin Mares [Sun, 25 May 2008 21:29:07 +0000 (23:29 +0200)]
Updated TODO.
Martin Mares [Sun, 25 May 2008 21:23:30 +0000 (23:23 +0200)]
Removed mo-create-packages from the makefile as well.
Martin Mares [Sun, 25 May 2008 21:19:04 +0000 (23:19 +0200)]
Cleaned up mop/admin/.
The script still need some updates and thorough testing.
Martin Mares [Sun, 25 May 2008 21:18:47 +0000 (23:18 +0200)]
Removed mo-create-packages.
Martin Mares [Sun, 25 May 2008 21:06:23 +0000 (23:06 +0200)]
Clean up backup, grab and push scripts.
Martin Mares [Sun, 25 May 2008 20:59:41 +0000 (22:59 +0200)]
Cleanups in mop/score/.
Martin Mares [Sun, 25 May 2008 20:59:33 +0000 (22:59 +0200)]
Cleanups in mop/eval/.
Martin Mares [Sun, 25 May 2008 20:52:38 +0000 (22:52 +0200)]
CT_UID_MAX is no longer used.
Martin Mares [Sun, 25 May 2008 20:51:56 +0000 (22:51 +0200)]
Move more things to mop.cf and also include userlist.
The old method of listing users by matching UID's is no longer supported.
Martin Mares [Sun, 25 May 2008 20:51:11 +0000 (22:51 +0200)]
MO_ROOT belongs to mop.cf.
Martin Mares [Sun, 25 May 2008 20:25:13 +0000 (22:25 +0200)]
Build all mop/ subdirs.
Martin Mares [Sun, 25 May 2008 20:09:09 +0000 (22:09 +0200)]
Split mop/ to several subdirectories: admin, eval, public and score.
This commit involves only file moves and renames.
Martin Mares [Sun, 25 May 2008 20:05:34 +0000 (22:05 +0200)]
mop/print-score is gone.
Martin Mares [Sun, 25 May 2008 20:05:20 +0000 (22:05 +0200)]
mo-merge-tests removed
Merging is already handled by both mo-score and mo-report.
Martin Mares [Sun, 25 May 2008 19:37:41 +0000 (21:37 +0200)]
Linked mop/ to the build system.
CONFIG_MOP is not enabled by default yet.
Martin Mares [Sun, 25 May 2008 19:37:15 +0000 (21:37 +0200)]
Moved md5crypt from utils/ to mop/
(The utility is used only by MO-P admin scripts anyway and I want to
avoid utils/ depending on libucw.)
Martin Mares [Sun, 25 May 2008 17:40:59 +0000 (19:40 +0200)]
Allow `configure OPTIONS' without specifying configuration name.
This involves a little bit of dwimmery -- we assume that the options are
all uppercase and the configuration files do not, but that's hopefully
a fair game.
Martin Mares [Sun, 25 May 2008 17:39:47 +0000 (19:39 +0200)]
Synchronized with current libucw.
Martin Mares [Wed, 21 May 2008 13:16:29 +0000 (15:16 +0200)]
`exceptions' moved to mop/.
Tomas Gavenciak [Wed, 21 May 2008 13:08:26 +0000 (15:08 +0200)]
TomGav's TODO list.
Martin Mares [Wed, 21 May 2008 13:07:57 +0000 (15:07 +0200)]
Improved description of IO_TYPE=dir.
Tomas Gavenciak [Wed, 21 May 2008 13:06:56 +0000 (15:06 +0200)]
Introduced IO_TYPE=dir.
Tomas Gavenciak [Wed, 21 May 2008 13:06:07 +0000 (15:06 +0200)]
Introduced TEST_EXEC_CMD.
Martin Mares [Wed, 21 May 2008 13:04:38 +0000 (15:04 +0200)]
HDIR should default to `.'.
Tomas Gavenciak [Wed, 21 May 2008 13:04:12 +0000 (15:04 +0200)]
The dir-init function updated to use full paths by default.
Tomas Gavenciak [Wed, 21 May 2008 13:03:32 +0000 (15:03 +0200)]
Sensible defaults for EVAL_USER, EVAL_GROUP and TEST_USER.
Tomas Gavenciak [Wed, 21 May 2008 13:02:55 +0000 (15:02 +0200)]
Fixed a bug in expansion of variables.
Martin Mares [Thu, 15 May 2008 10:59:14 +0000 (12:59 +0200)]
Polished configuration scripts.
Martin Mares [Thu, 15 May 2008 10:56:38 +0000 (12:56 +0200)]
Moved `public' to MO-P stuff, too. I will decide later where to put it.
Martin Mares [Thu, 15 May 2008 10:55:54 +0000 (12:55 +0200)]
The userlist is also MO-P stuff.
Martin Mares [Thu, 15 May 2008 10:55:28 +0000 (12:55 +0200)]
Moved settings specific to MO-P to mop/mop.cf.
This file is not referenced anywhere yet.
Martin Mares [Thu, 15 May 2008 10:51:03 +0000 (12:51 +0200)]
Moved the main config file to cf/eval.
Martin Mares [Thu, 15 May 2008 10:47:08 +0000 (12:47 +0200)]
Updated TODO.
Martin Mares [Thu, 15 May 2008 10:42:28 +0000 (12:42 +0200)]
Moved templates to mop/template/.
Martin Mares [Thu, 15 May 2008 10:40:36 +0000 (12:40 +0200)]
`md5crypt' now uses MD5 from libucw.
Martin Mares [Thu, 15 May 2008 10:38:47 +0000 (12:38 +0200)]
Updated .gitignore.
Martin Mares [Thu, 15 May 2008 10:37:16 +0000 (12:37 +0200)]
Install the configuration file of submitd at the right location.
Martin Mares [Thu, 15 May 2008 10:35:37 +0000 (12:35 +0200)]
Added configuration file for libucw modules.
Martin Mares [Thu, 15 May 2008 10:33:31 +0000 (12:33 +0200)]
Teach the build system how to preprocess configs from non-deafult locations.
Martin Mares [Thu, 15 May 2008 10:21:19 +0000 (12:21 +0200)]
Connect now calls `msg' instead of `log' as required by the new libucw.
Martin Mares [Thu, 15 May 2008 10:21:02 +0000 (12:21 +0200)]
Integrated the submitter to the build system.
Martin Mares [Thu, 15 May 2008 10:16:19 +0000 (12:16 +0200)]
install-certs has been superseded by mo-push-certs.
Martin Mares [Thu, 15 May 2008 10:14:34 +0000 (12:14 +0200)]
Fix libsh (I have pruned it too much).
Martin Mares [Thu, 15 May 2008 09:58:08 +0000 (11:58 +0200)]
Moved timelib to examples/timelib. The misc directory is gone.
Martin Mares [Thu, 15 May 2008 09:56:25 +0000 (11:56 +0200)]
Judges now compile and they use build/tester for the tests.
Martin Mares [Thu, 15 May 2008 09:46:14 +0000 (11:46 +0200)]
Moved everything related to MO-P to mop/. This cleans up bin/.
These utilities are however not compiled yet.
Martin Mares [Thu, 15 May 2008 09:45:24 +0000 (11:45 +0200)]
Moved the evaluator scripts to eval/.
Martin Mares [Thu, 15 May 2008 09:39:33 +0000 (11:39 +0200)]
The iwrapper moved to eval/.
Martin Mares [Thu, 15 May 2008 09:38:15 +0000 (11:38 +0200)]
Moved md5crypt and pedant to utils/ and make them compile again.
Martin Mares [Thu, 15 May 2008 09:34:46 +0000 (11:34 +0200)]
Moved sandbox to box/.
Martin Mares [Thu, 15 May 2008 09:28:02 +0000 (11:28 +0200)]
Created a new Makefile.
So far, it does not compile anything, but it initializes the build system.
Martin Mares [Thu, 15 May 2008 09:25:33 +0000 (11:25 +0200)]
Added libucw documentation regarding configuration to doc/ucw/.
Martin Mares [Thu, 15 May 2008 09:24:10 +0000 (11:24 +0200)]
Added a trivial configure script.
Martin Mares [Thu, 15 May 2008 09:22:52 +0000 (11:22 +0200)]
Added parts of libsh from Sherlock v3.12.2.
Only the modules related to configuration and Sherlock objects
have been retained. (This is probably a short-time solution only,
I intend to replace all uses of Sherlock objects.)
Martin Mares [Thu, 15 May 2008 09:21:15 +0000 (11:21 +0200)]
Added libucw from Sherlock v3.12.2.
No changes have been made except for removing SHERLOCK_VERSION.
Martin Mares [Thu, 15 May 2008 09:20:33 +0000 (11:20 +0200)]
Added libucw build system from Sherlock v3.12.2.
No changes have been made except for excluding genhash.c and its Makefile.
Martin Mares [Wed, 19 Mar 2008 13:33:48 +0000 (14:33 +0100)]
Ran vacuum cleaner on TODO list.
(All vacuum is clean now :) )
Martin Mares [Wed, 19 Mar 2008 13:33:07 +0000 (14:33 +0100)]
Sandbox: Added redirection of stderr on request.
Martin Mares [Wed, 19 Mar 2008 13:31:13 +0000 (14:31 +0100)]
Local overrides no longer produce debug messages.
Martin Mares [Wed, 19 Mar 2008 13:28:39 +0000 (14:28 +0100)]
Fixed a typo in processing of hooks.
Martin Mares [Wed, 19 Mar 2008 13:27:39 +0000 (14:27 +0100)]
Added LANG_SANDBOX_OPTS.
Martin Mares [Wed, 19 Mar 2008 13:24:32 +0000 (14:24 +0100)]
Replaced COMP_SANDBOX_INIT and SANDBOX_INIT by (PRE|POST)_(COMPILE|RUN)_HOOK.
Martin Mares [Wed, 19 Mar 2008 13:08:45 +0000 (14:08 +0100)]
Added a mechanism for overriding configuration settings from the command line.
Martin Mares [Wed, 19 Mar 2008 12:54:58 +0000 (13:54 +0100)]
BOX_EXTRAS works again.
Martin Mares [Wed, 19 Mar 2008 12:52:27 +0000 (13:52 +0100)]
Introduced extension aliases.
When several filename extensions corresponded to the same programming language,
the compiler and runtime settings had to be duplicated.
It is now possible to define one extension as an alias for another, so that
it is used only for locating the source. The copy of the program in $TDIR
already has the new extension and it is processed according to it.
Martin Mares [Wed, 19 Mar 2008 12:39:40 +0000 (13:39 +0100)]
Replaced FREE_PASCAL_RTE by a generic EXIT_CODE_HOOK.
Martin Mares [Wed, 19 Mar 2008 12:19:41 +0000 (13:19 +0100)]
Separate per-language settings.
(No functional changes here, only order in the config.)
Martin Mares [Thu, 13 Mar 2008 12:28:16 +0000 (13:28 +0100)]
Switch editor component from Kate to QEditor.
Kate was crashing randomly when editing any files in Pascal projects.
Martin Mares [Wed, 12 Mar 2008 19:36:12 +0000 (20:36 +0100)]
Added a simple utility for pushing of submit certificates to machines.
Martin Mares [Wed, 12 Mar 2008 19:22:15 +0000 (20:22 +0100)]
Templates: updated icon positions.