]>
mj.ucw.cz Git - moe.git/log
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.
Martin Mares [Wed, 12 Mar 2008 19:02:43 +0000 (20:02 +0100)]
Renamed desktop icons.
Martin Mares [Wed, 12 Mar 2008 19:01:39 +0000 (20:01 +0100)]
Removed obsolete files.
Martin Mares [Wed, 12 Mar 2008 18:44:13 +0000 (19:44 +0100)]
Templates: Added .bash_profile, which calls .bashrc.
Martin Mares [Wed, 12 Mar 2008 18:32:38 +0000 (19:32 +0100)]
Add full names to the tickets.
Martin Mares [Wed, 12 Mar 2008 18:09:06 +0000 (19:09 +0100)]
Do not call make explicitly.
Martin Mares [Wed, 12 Mar 2008 18:08:55 +0000 (19:08 +0100)]
Use LDLIBS instead of LDFLAGS to link libraries.
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.
Martin Mares [Tue, 11 Mar 2008 21:37:07 +0000 (22:37 +0100)]
Added TODO items after brain-storming with Gavento.
Martin Mares [Wed, 20 Feb 2008 11:30:39 +0000 (12:30 +0100)]
Mention snapshots in the documentation.
Martin Mares [Wed, 20 Feb 2008 11:18:54 +0000 (12:18 +0100)]
Updated the release script and released a snapshot
20080220 .
Martin Mares [Wed, 20 Feb 2008 11:17:48 +0000 (12:17 +0100)]
Do not choke on file names containing spaces.
Propagating upstream.
Martin Mares [Wed, 20 Feb 2008 11:13:57 +0000 (12:13 +0100)]
Updated the release.pm module.
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.