Added syntax for config files (to be reviewed)

Add TODO note obput fixing variables

Imporoved and shortened conf.py code

Removed subtrees, now only one namespace
Transparent variable creation upon lookup
Implemented general condition clauses (AND, OR, NOT, ==, !=)
Conditions now have 'parent' condition (containing condition block)
Variables refer to only one condition (and indirectly its parents)
Renamed get_value -> evaluate and evaluate -> value
Improved max-depth checking
Updated the test/example (still no conditions)
pprint replaced with dump (for consistency, but still returns an iterator)
Some dovumentation (with TODO's)

New module for config evaluation. Basic testing.

Implemented:
* Configuration tree,
* Variables,
* Variable-setting operations ('SET' and 'APPEND')
* Equality conditions (WIP, not tested yet),
* Substitution expressions with text and variables,
* Pretty-printing,
* Caching for variables and conditions with invalidation along reverse-dependencies,
* Add and remove operations from variables with correct reverse-dependency handling (add and remove)

TODO: smarter conditions, variable lookup (and maybe transparent creation),
possibly cleanup of unused variables and conditions

(tests full coverage except conditions)

Saved the example task

Better logging of exceptions

Make "+=" insert spaces as necessary

Removed config resolution caching

Implemented syntax checkers and output filters

Backward-compatible point files implemented

Unify names of exception variables

e.cfgs[x] can be shortened to e[x]

Judges can return single-line verdicts on stderr instead of producing a status file

Cleaup of the config file

Err -> Error in all exception names (to be consistent with naming of standard Python exceptions)

Status files are now handled almost properly

Batch task testing works (sort of)

More bits of compilation

Added sandbox interface module

Parts of compilation

Renamed meta files to status files to match the Moe paper

Cleaned up exception handling and logging

Logging

Implemented configuration overrides from the command line

Locating batch tasks

First attempts at the evaluation overlord

Added a shabby skeleton of a logging module

Added a simple utility function for simulating mkdir -p.

Better error reporting

Better error reporting on the pipeline

A better implementation of the pipeline, including hook loader

Do not try to distinguish between single and double quotes

They are the same in Python.

A brief experiment with pipelines

Configuration values are now cached

Implemented overrides

Better error reporting

Added a prototype of the configuration module.

Initial experimental version of the meta-file module.

Eval: Added STACK_LIMIT.

Box: Do not report all errors as "during startup" if syscalls are not filtered.

Box: Added an option for controlling the stack size limit.

Beware, the default has been changed to `unlimited' instead of inheriting
the limit from the parent process.

Hopefully fixed the occasional "UGH" error.

When the machine creaks under high load, SIGALRM can arrive during the
final wait4() in box_exit(), causing it to return EINTR. Restart waiting
in such cases.

Include <linux/ptrace.h>, because <sys/ptrace.h> tends to be incomplete

Added a description of the meta-files

Box: Record in the meta-file whether the process has been killed

If it was, the time/memory statictics are known to be incomplete.

Box: Implemented the `-x' (extra timeout) option

Syscall handling reform

The previous code did not work with syscalls that do not return a value -- e.g.,
sysreturn(). In such cases, the kernel reports the exit from the syscall with
orig_eax == -1, which cannot be easily distinguished from a breakpoint.

I have rewritten the syscall checker to use the PTRACE_O_TRACESYSGOOD switch,
which causes the kernel to report syscalls in a slightly different way. Also,
the code now tests whether the syscall number on exit matched the one recorded
on entry (purely as a guard against possible silly bugs in synchronization
of syscall enter/exit reports with the kernel) and it also avoids suppresses
the meaningless return value of the sysreturn-like syscalls.

Box: Use SIGSTOP to notify the parent that the child is ready to be traced
instead of SIGCHLD. This should be safer.

Merge branch 'master' of ssh://git.ucw.cz/home/mj/GIT/eval

Sandbox: call setup_environment() before enabling syscall tracing

MOP: New templates for Debian Lenny

MOP: Updated the score table heading.

Added Milan's FPC patch (abort on runtime error)

mo-score-mop: implemented merging of test case groups

Install libraries with the submitter.

Merge branch 'layout'

Fixed typesetting of logins.

Adjusted configuration of tempfiles to new libucw.

Updated libucw config from upstream.

Need to switch directory when reading configuration.

The reason is that cf/mop needs to include cf/eval, but it cannot
use absolute paths, because the config file is read both before and
after installation to $MO_ROOT/.

Dereference links when installing.

Fixed a couple of very confusing bugs in the Makefiles.

More updates of MO-P admin scripts.

Updated MO-P admin scripts to new directory layout.

Submit: `make certs' is no longer used.

However, the certificate templates should be installed to lib/.

Updated create-certs to the new directory layout.

Include the right libucw config.

Updated tests after the recent change of judges' messages to stderr.

Disable building of libucw utilities.

Adapted to reflect changes in libucw.

Updated libucw to current version (Sherlock commit 17f29eb1ab186e9f053299c25f47ce368ee7e1de)

Default Pascal flags no longer enable range and stack checking.

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.

The judge IO streams remember the basename of the file instead of its full name

Compile the judge support functions as a separate library.

Judge: Added function get_nl() for checking of an expected end of line.

More makefile fixes.

Fix makefiles for compilation in a different directory.

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.

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.

Updated TODO.

Sample memory usage only on selected syscalls.

Detect breakpoint instructions, which are reported as syscall #-1.

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.

Oops, there was a typo in the previous patch.

The mmap2() syscall is available even in the strict mode.

There is no reason to handle it differently from mmap().

Permit the set_tid_address() syscall.

It used by glibc 2.3.6 automagically.

Document various error reporting functions.

The FIXME was wrong, start_time is available whenever box_pid is.

Internal errors are reported properly.

Write all relevant information to the metafile.

usage() should exit with code 2, too.

We do not care about ancient C libraries any more.

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.

Changed formatting of time metas.

Gather timing statistics on unsuccessful exit, too.

Added basic support for writing meta-files.

Original patch by TomGav, cleaned up by me.

Use new Configure module to configure crypto libs.

Imported new Configure module from libucw which handles pkg-config.

CONFIG_MOP is now enabled by default.

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