]> mj.ucw.cz Git - eval.git/log
eval.git
16 years agoImproved description of IO_TYPE=dir.
Martin Mares [Wed, 21 May 2008 13:07:57 +0000 (15:07 +0200)]
Improved description of IO_TYPE=dir.

16 years agoIntroduced IO_TYPE=dir.
Tomas Gavenciak [Wed, 21 May 2008 13:06:56 +0000 (15:06 +0200)]
Introduced IO_TYPE=dir.

16 years agoIntroduced TEST_EXEC_CMD.
Tomas Gavenciak [Wed, 21 May 2008 13:06:07 +0000 (15:06 +0200)]
Introduced TEST_EXEC_CMD.

16 years agoHDIR should default to `.'.
Martin Mares [Wed, 21 May 2008 13:04:38 +0000 (15:04 +0200)]
HDIR should default to `.'.

16 years agoThe dir-init function updated to use full paths by default.
Tomas Gavenciak [Wed, 21 May 2008 13:04:12 +0000 (15:04 +0200)]
The dir-init function updated to use full paths by default.

16 years agoSensible defaults for EVAL_USER, EVAL_GROUP and TEST_USER.
Tomas Gavenciak [Wed, 21 May 2008 13:03:32 +0000 (15:03 +0200)]
Sensible defaults for EVAL_USER, EVAL_GROUP and TEST_USER.

16 years agoFixed a bug in expansion of variables.
Tomas Gavenciak [Wed, 21 May 2008 13:02:55 +0000 (15:02 +0200)]
Fixed a bug in expansion of variables.

16 years agoPolished configuration scripts.
Martin Mares [Thu, 15 May 2008 10:59:14 +0000 (12:59 +0200)]
Polished configuration scripts.

16 years agoMoved `public' to MO-P stuff, too. I will decide later where to put it.
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.

16 years agoThe userlist is also MO-P stuff.
Martin Mares [Thu, 15 May 2008 10:55:54 +0000 (12:55 +0200)]
The userlist is also MO-P stuff.

16 years agoMoved settings specific to MO-P to mop/mop.cf.
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.

16 years agoMoved the main config file to cf/eval.
Martin Mares [Thu, 15 May 2008 10:51:03 +0000 (12:51 +0200)]
Moved the main config file to cf/eval.

16 years agoUpdated TODO.
Martin Mares [Thu, 15 May 2008 10:47:08 +0000 (12:47 +0200)]
Updated TODO.

16 years agoMoved templates to mop/template/.
Martin Mares [Thu, 15 May 2008 10:42:28 +0000 (12:42 +0200)]
Moved templates to mop/template/.

16 years ago`md5crypt' now uses MD5 from libucw.
Martin Mares [Thu, 15 May 2008 10:40:36 +0000 (12:40 +0200)]
`md5crypt' now uses MD5 from libucw.

16 years agoUpdated .gitignore.
Martin Mares [Thu, 15 May 2008 10:38:47 +0000 (12:38 +0200)]
Updated .gitignore.

16 years agoInstall the configuration file of submitd at the right location.
Martin Mares [Thu, 15 May 2008 10:37:16 +0000 (12:37 +0200)]
Install the configuration file of submitd at the right location.

16 years agoAdded configuration file for libucw modules.
Martin Mares [Thu, 15 May 2008 10:35:37 +0000 (12:35 +0200)]
Added configuration file for libucw modules.

16 years agoTeach the build system how to preprocess configs from non-deafult locations.
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.

16 years agoConnect now calls `msg' instead of `log' as required by the new libucw.
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.

16 years agoIntegrated the submitter to the build system.
Martin Mares [Thu, 15 May 2008 10:21:02 +0000 (12:21 +0200)]
Integrated the submitter to the build system.

16 years agoinstall-certs has been superseded by mo-push-certs.
Martin Mares [Thu, 15 May 2008 10:16:19 +0000 (12:16 +0200)]
install-certs has been superseded by mo-push-certs.

16 years agoFix libsh (I have pruned it too much).
Martin Mares [Thu, 15 May 2008 10:14:34 +0000 (12:14 +0200)]
Fix libsh (I have pruned it too much).

16 years agoMoved timelib to examples/timelib. The misc directory is gone.
Martin Mares [Thu, 15 May 2008 09:58:08 +0000 (11:58 +0200)]
Moved timelib to examples/timelib. The misc directory is gone.

16 years agoJudges now compile and they use build/tester for the tests.
Martin Mares [Thu, 15 May 2008 09:56:25 +0000 (11:56 +0200)]
Judges now compile and they use build/tester for the tests.

16 years agoMoved everything related to MO-P to mop/. This cleans up bin/.
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.

16 years agoMoved the evaluator scripts to eval/.
Martin Mares [Thu, 15 May 2008 09:45:24 +0000 (11:45 +0200)]
Moved the evaluator scripts to eval/.

16 years agoThe iwrapper moved to eval/.
Martin Mares [Thu, 15 May 2008 09:39:33 +0000 (11:39 +0200)]
The iwrapper moved to eval/.

16 years agoMoved md5crypt and pedant to utils/ and make them compile again.
Martin Mares [Thu, 15 May 2008 09:38:15 +0000 (11:38 +0200)]
Moved md5crypt and pedant to utils/ and make them compile again.

16 years agoMoved sandbox to box/.
Martin Mares [Thu, 15 May 2008 09:34:46 +0000 (11:34 +0200)]
Moved sandbox to box/.

16 years agoCreated a new Makefile.
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.

16 years agoAdded libucw documentation regarding configuration to doc/ucw/.
Martin Mares [Thu, 15 May 2008 09:25:33 +0000 (11:25 +0200)]
Added libucw documentation regarding configuration to doc/ucw/.

16 years agoAdded a trivial configure script.
Martin Mares [Thu, 15 May 2008 09:24:10 +0000 (11:24 +0200)]
Added a trivial configure script.

16 years agoAdded parts of libsh from Sherlock v3.12.2.
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.)

16 years agoAdded libucw from Sherlock v3.12.2.
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.

16 years agoAdded libucw build system from Sherlock v3.12.2.
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.

16 years agoRan vacuum cleaner on TODO list.
Martin Mares [Wed, 19 Mar 2008 13:33:48 +0000 (14:33 +0100)]
Ran vacuum cleaner on TODO list.

(All vacuum is clean now :) )

16 years agoSandbox: Added redirection of stderr on request.
Martin Mares [Wed, 19 Mar 2008 13:33:07 +0000 (14:33 +0100)]
Sandbox: Added redirection of stderr on request.

16 years agoLocal overrides no longer produce debug messages.
Martin Mares [Wed, 19 Mar 2008 13:31:13 +0000 (14:31 +0100)]
Local overrides no longer produce debug messages.

16 years agoFixed a typo in processing of hooks.
Martin Mares [Wed, 19 Mar 2008 13:28:39 +0000 (14:28 +0100)]
Fixed a typo in processing of hooks.

16 years agoAdded LANG_SANDBOX_OPTS.
Martin Mares [Wed, 19 Mar 2008 13:27:39 +0000 (14:27 +0100)]
Added LANG_SANDBOX_OPTS.

16 years agoReplaced COMP_SANDBOX_INIT and SANDBOX_INIT by (PRE|POST)_(COMPILE|RUN)_HOOK.
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.

16 years agoAdded a mechanism for overriding configuration settings from the command line.
Martin Mares [Wed, 19 Mar 2008 13:08:45 +0000 (14:08 +0100)]
Added a mechanism for overriding configuration settings from the command line.

16 years agoBOX_EXTRAS works again.
Martin Mares [Wed, 19 Mar 2008 12:54:58 +0000 (13:54 +0100)]
BOX_EXTRAS works again.

16 years agoIntroduced extension aliases.
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.

16 years agoReplaced FREE_PASCAL_RTE by a generic EXIT_CODE_HOOK.
Martin Mares [Wed, 19 Mar 2008 12:39:40 +0000 (13:39 +0100)]
Replaced FREE_PASCAL_RTE by a generic EXIT_CODE_HOOK.

16 years agoSeparate per-language settings.
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.)

16 years agoSwitch editor component from Kate to QEditor.
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.

16 years agoAdded a simple utility for pushing of submit certificates to machines.
Martin Mares [Wed, 12 Mar 2008 19:36:12 +0000 (20:36 +0100)]
Added a simple utility for pushing of submit certificates to machines.

16 years agoTemplates: updated icon positions.
Martin Mares [Wed, 12 Mar 2008 19:22:15 +0000 (20:22 +0100)]
Templates: updated icon positions.

16 years agoRenamed desktop icons.
Martin Mares [Wed, 12 Mar 2008 19:02:43 +0000 (20:02 +0100)]
Renamed desktop icons.

16 years agoRemoved obsolete files.
Martin Mares [Wed, 12 Mar 2008 19:01:39 +0000 (20:01 +0100)]
Removed obsolete files.

16 years agoTemplates: Added .bash_profile, which calls .bashrc.
Martin Mares [Wed, 12 Mar 2008 18:44:13 +0000 (19:44 +0100)]
Templates: Added .bash_profile, which calls .bashrc.

16 years agoAdd full names to the tickets.
Martin Mares [Wed, 12 Mar 2008 18:32:38 +0000 (19:32 +0100)]
Add full names to the tickets.

16 years agoDo not call make explicitly.
Martin Mares [Wed, 12 Mar 2008 18:09:06 +0000 (19:09 +0100)]
Do not call make explicitly.

16 years agoUse LDLIBS instead of LDFLAGS to link libraries.
Martin Mares [Wed, 12 Mar 2008 18:08:55 +0000 (19:08 +0100)]
Use LDLIBS instead of LDFLAGS to link libraries.

16 years agoRecommend linking libucw statically.
Martin Mares [Wed, 12 Mar 2008 18:08:40 +0000 (19:08 +0100)]
Recommend linking libucw statically.

Otherwise, the bin/mo-install-submit script does not install the shared
libraries.

16 years agoAdded TODO items after brain-storming with Gavento.
Martin Mares [Tue, 11 Mar 2008 21:37:07 +0000 (22:37 +0100)]
Added TODO items after brain-storming with Gavento.

16 years agoMention snapshots in the documentation.
Martin Mares [Wed, 20 Feb 2008 11:30:39 +0000 (12:30 +0100)]
Mention snapshots in the documentation.

16 years agoUpdated the release script and released a snapshot 20080220.
Martin Mares [Wed, 20 Feb 2008 11:18:54 +0000 (12:18 +0100)]
Updated the release script and released a snapshot 20080220.

16 years agoDo not choke on file names containing spaces.
Martin Mares [Wed, 20 Feb 2008 11:17:48 +0000 (12:17 +0100)]
Do not choke on file names containing spaces.

Propagating upstream.

16 years agoUpdated the release.pm module.
Martin Mares [Wed, 20 Feb 2008 11:13:57 +0000 (12:13 +0100)]
Updated the release.pm module.

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.