]> mj.ucw.cz Git - eval.git/log
eval.git
9 years agoMerge commit '700824d3e9bce9219819e4e5096ab94da301d44b' from branch bernard/master
Martin Mares [Wed, 9 Jul 2014 09:49:49 +0000 (11:49 +0200)]
Merge commit '700824d3e9bce9219819e4e5096ab94da301d44b' from branch bernard/master

10 years agoTemplater: Fix Pascal projects
Martin Mares [Thu, 27 Mar 2014 19:07:41 +0000 (20:07 +0100)]
Templater: Fix Pascal projects

10 years agoTemplater: Templates for stdio tasks
Martin Mares [Thu, 27 Mar 2014 18:07:41 +0000 (19:07 +0100)]
Templater: Templates for stdio tasks

Temporary hack for MO 2014

10 years agocontest.pl: Checker output interpreted as UTF-8
Martin Mares [Thu, 27 Mar 2014 14:59:04 +0000 (15:59 +0100)]
contest.pl: Checker output interpreted as UTF-8

11 years agoMOP: New template for home directories (KDE config etc.)
Martin Mares [Sat, 23 Mar 2013 10:57:17 +0000 (11:57 +0100)]
MOP: New template for home directories (KDE config etc.)

11 years agoC++: Enable -std=gnu++11
Martin Mares [Sat, 23 Mar 2013 10:48:30 +0000 (11:48 +0100)]
C++: Enable -std=gnu++11

11 years agoMOP: Score generator replaced by exporting of points
Martin Mares [Sat, 23 Mar 2013 10:43:50 +0000 (11:43 +0100)]
MOP: Score generator replaced by exporting of points

11 years agoMO: Project templater
Martin Mares [Sat, 23 Mar 2013 10:41:26 +0000 (11:41 +0100)]
MO: Project templater

11 years agoUse /bin/bash instead of /bin/sh
Martin Mares [Sat, 23 Mar 2013 10:38:49 +0000 (11:38 +0100)]
Use /bin/bash instead of /bin/sh

11 years agoisolate: Replace system() calls with implementations
Bernard Blackham [Sat, 9 Mar 2013 02:55:20 +0000 (02:55 +0000)]
isolate: Replace system() calls with implementations

Vanilla bash doesn't like being run suid. And this is probably safer anyway.

11 years agoisolate: Fix security issue from PATH expansion.
Bernard Blackham [Fri, 8 Mar 2013 20:05:51 +0000 (20:05 +0000)]
isolate: Fix security issue from PATH expansion.

11 years agoisolate: Make memsw controller optional.
Bernard Blackham [Fri, 8 Mar 2013 20:05:29 +0000 (20:05 +0000)]
isolate: Make memsw controller optional.

11 years agoisolate: Switch to libcgroup-based directory hierarchy of /sys/fs/cgroup.
Bernard Blackham [Sun, 17 Feb 2013 14:54:12 +0000 (14:54 +0000)]
isolate: Switch to libcgroup-based directory hierarchy of /sys/fs/cgroup.

11 years agoIsolate: Update Copyright years.
Bernard Blackham [Mon, 21 Jan 2013 02:50:19 +0000 (02:50 +0000)]
Isolate: Update Copyright years.

11 years agoIsolate: Allow the same command to be specified multiple times.
Bernard Blackham [Mon, 21 Jan 2013 02:50:17 +0000 (02:50 +0000)]
Isolate: Allow the same command to be specified multiple times.

11 years agoIsolate: Add chdir flag. Repurpose --cg shorthand flag.
Bernard Blackham [Mon, 21 Jan 2013 02:50:15 +0000 (02:50 +0000)]
Isolate: Add chdir flag. Repurpose --cg shorthand flag.

Using -c is consistent with mo-box.

11 years agoIsolate: Add informative error message for bad command-line usage.
Bernard Blackham [Mon, 21 Jan 2013 02:50:13 +0000 (02:50 +0000)]
Isolate: Add informative error message for bad command-line usage.

11 years agoIsolate: Fix missing short option for box-id.
Bernard Blackham [Mon, 21 Jan 2013 02:50:09 +0000 (02:50 +0000)]
Isolate: Fix missing short option for box-id.

11 years agoMaint: Fixed a stupid typo
Martin Mares [Mon, 24 Sep 2012 19:53:57 +0000 (21:53 +0200)]
Maint: Fixed a stupid typo

11 years agoDoc: Set default charset to utf-8
Martin Mares [Mon, 24 Sep 2012 19:50:24 +0000 (21:50 +0200)]
Doc: Set default charset to utf-8

11 years agoDoc: Dust off anatomy.html
Martin Mares [Mon, 24 Sep 2012 16:39:25 +0000 (18:39 +0200)]
Doc: Dust off anatomy.html

11 years agoDoc: Tried to freshen up the title page
Martin Mares [Mon, 24 Sep 2012 16:28:07 +0000 (18:28 +0200)]
Doc: Tried to freshen up the title page

11 years agoMaint: Uploading of documentation
Martin Mares [Mon, 24 Sep 2012 16:27:54 +0000 (18:27 +0200)]
Maint: Uploading of documentation

11 years agoTODO: note some progress
Martin Mares [Mon, 24 Sep 2012 15:47:31 +0000 (17:47 +0200)]
TODO: note some progress

11 years agoIsolate: Document --box-id and installation
Martin Mares [Mon, 24 Sep 2012 15:45:31 +0000 (17:45 +0200)]
Isolate: Document --box-id and installation

11 years agoDoc: Copies of the old LibUCW documentation are gone
Martin Mares [Mon, 24 Sep 2012 14:06:44 +0000 (16:06 +0200)]
Doc: Copies of the old LibUCW documentation are gone

11 years agoIsolate: Serialization of calls to AsciiDoc
Martin Mares [Mon, 24 Sep 2012 14:02:42 +0000 (16:02 +0200)]
Isolate: Serialization of calls to AsciiDoc

11 years agoReleased version 2.0
Martin Mares [Mon, 24 Sep 2012 13:49:16 +0000 (15:49 +0200)]
Released version 2.0

11 years agoMOP: Added config file which builds everything
Martin Mares [Mon, 24 Sep 2012 13:17:34 +0000 (15:17 +0200)]
MOP: Added config file which builds everything

11 years agoMakefile: Be quiet by default
Martin Mares [Mon, 24 Sep 2012 13:16:49 +0000 (15:16 +0200)]
Makefile: Be quiet by default

11 years agoPreparing for release 2.0
Martin Mares [Mon, 24 Sep 2012 13:12:27 +0000 (15:12 +0200)]
Preparing for release 2.0

11 years agoDoc: mo-eval.css is long gone
Martin Mares [Mon, 24 Sep 2012 13:11:46 +0000 (15:11 +0200)]
Doc: mo-eval.css is long gone

11 years agoMaint: Release machinery updated from the most recent pciutils
Martin Mares [Mon, 24 Sep 2012 13:05:18 +0000 (15:05 +0200)]
Maint: Release machinery updated from the most recent pciutils

11 years agoFinish rename of MO-Eval to Moe
Martin Mares [Mon, 24 Sep 2012 12:42:12 +0000 (14:42 +0200)]
Finish rename of MO-Eval to Moe

11 years agoMerge branch 'container'
Martin Mares [Mon, 24 Sep 2012 11:30:43 +0000 (13:30 +0200)]
Merge branch 'container'

11 years agoBox: Re-open /proc/$PID/mem on exec
Martin Mares [Sun, 29 Jul 2012 21:53:56 +0000 (23:53 +0200)]
Box: Re-open /proc/$PID/mem on exec

This is necessary on recent kernels, because the fd is associated
with a mm_struct, which changes upon exec().

12 years agoIsolate: Added support for setting disk quotas
Martin Mares [Sun, 22 Apr 2012 21:10:47 +0000 (23:10 +0200)]
Isolate: Added support for setting disk quotas

12 years agoDoc: Fixed URL of the Git repository
Martin Mares [Sun, 22 Apr 2012 17:16:39 +0000 (19:16 +0200)]
Doc: Fixed URL of the Git repository

12 years agoIsolate: More documentation
Martin Mares [Sun, 22 Apr 2012 16:56:49 +0000 (18:56 +0200)]
Isolate: More documentation

12 years agoBits of infrastructure for building documentation with AsciiDoc
Martin Mares [Sat, 21 Apr 2012 21:03:13 +0000 (23:03 +0200)]
Bits of infrastructure for building documentation with AsciiDoc

I had to hack around the doc rules in the UCW build system.
This needs cleanup one day.

12 years agoIsolate: Let "--cleanup" remove the whole box directory
Martin Mares [Sat, 21 Apr 2012 20:59:52 +0000 (22:59 +0200)]
Isolate: Let "--cleanup" remove the whole box directory

12 years agoIsolate: Fix up some bugs
Martin Mares [Sat, 21 Apr 2012 20:50:01 +0000 (22:50 +0200)]
Isolate: Fix up some bugs

12 years agoIsolate: Support for multiple sandboxes
Martin Mares [Sat, 21 Apr 2012 20:24:54 +0000 (22:24 +0200)]
Isolate: Support for multiple sandboxes

12 years agoIsolate: First attempts at documentation
Martin Mares [Sat, 21 Apr 2012 18:12:20 +0000 (20:12 +0200)]
Isolate: First attempts at documentation

12 years agoIsolate: Fix processing of mount options
Martin Mares [Sat, 21 Apr 2012 15:10:06 +0000 (17:10 +0200)]
Isolate: Fix processing of mount options

12 years agoIsolate: Directory rules can have flags
Martin Mares [Sat, 21 Apr 2012 14:46:00 +0000 (16:46 +0200)]
Isolate: Directory rules can have flags

12 years agoIsolate: Fix creation of directories
Martin Mares [Sat, 21 Apr 2012 14:02:08 +0000 (16:02 +0200)]
Isolate: Fix creation of directories

12 years agoIsolate: Updating TODO
Martin Mares [Sat, 21 Apr 2012 13:52:59 +0000 (15:52 +0200)]
Isolate: Updating TODO

12 years agoIsolate: Introduce directory rules
Martin Mares [Sat, 21 Apr 2012 13:51:13 +0000 (15:51 +0200)]
Isolate: Introduce directory rules

12 years agoIsolate: Polished help text
Martin Mares [Sat, 21 Apr 2012 10:57:21 +0000 (12:57 +0200)]
Isolate: Polished help text

12 years agoIsolate: Put /lib64 to the box
Martin Mares [Sat, 21 Apr 2012 10:53:07 +0000 (12:53 +0200)]
Isolate: Put /lib64 to the box

12 years agoIsolate: Fix bug in time measurement without --cg
Martin Mares [Sat, 21 Apr 2012 10:48:11 +0000 (12:48 +0200)]
Isolate: Fix bug in time measurement without --cg

12 years agoIsolate: TODO
Martin Mares [Sun, 1 Apr 2012 13:26:25 +0000 (15:26 +0200)]
Isolate: TODO

12 years agoIsolate: Initial comment
Martin Mares [Sun, 1 Apr 2012 13:26:03 +0000 (15:26 +0200)]
Isolate: Initial comment

12 years agoIsolate: --version
Martin Mares [Sun, 1 Apr 2012 13:23:16 +0000 (15:23 +0200)]
Isolate: --version

12 years agoIsolate: Cleanups, configuration and TODO
Martin Mares [Sun, 1 Apr 2012 13:20:52 +0000 (15:20 +0200)]
Isolate: Cleanups, configuration and TODO

12 years agoSubmit: More gnutls fixes
Martin Mares [Sun, 1 Apr 2012 13:20:31 +0000 (15:20 +0200)]
Submit: More gnutls fixes

12 years agoConfigure: Newer versions of gnutls use pkg-config
Martin Mares [Sun, 1 Apr 2012 13:17:44 +0000 (15:17 +0200)]
Configure: Newer versions of gnutls use pkg-config

12 years agoIsolate: Box setup split to several functions
Martin Mares [Sun, 1 Apr 2012 13:06:46 +0000 (15:06 +0200)]
Isolate: Box setup split to several functions

12 years agoIsolate: Report internal errors from inside the box
Martin Mares [Sun, 1 Apr 2012 12:57:25 +0000 (14:57 +0200)]
Isolate: Report internal errors from inside the box

12 years agoIsolate: Control groups and multi-process mode
Martin Mares [Sun, 1 Apr 2012 12:34:01 +0000 (14:34 +0200)]
Isolate: Control groups and multi-process mode

12 years agomo-score: Since STDOUT may be a pipe, we need to close it
Martin Mares [Fri, 30 Mar 2012 18:50:27 +0000 (20:50 +0200)]
mo-score: Since STDOUT may be a pipe, we need to close it

12 years agomo-backup: Do not forget to back up submit server
Martin Mares [Fri, 30 Mar 2012 18:50:09 +0000 (20:50 +0200)]
mo-backup: Do not forget to back up submit server

12 years agomo-grab-remote: use rsync --delete
Martin Mares [Fri, 30 Mar 2012 18:49:36 +0000 (20:49 +0200)]
mo-grab-remote: use rsync --delete

Otherwise, when a contestants submits another solution of the
same task in a different language, eval is confused.

12 years agoIsolate: First working version
Martin Mares [Tue, 27 Mar 2012 21:17:24 +0000 (23:17 +0200)]
Isolate: First working version

12 years agoIsolate: First experiments
Martin Mares [Mon, 26 Mar 2012 21:44:14 +0000 (23:44 +0200)]
Isolate: First experiments

12 years agoIsolate: Some bits shamelessly stolen from box.c
Martin Mares [Mon, 26 Mar 2012 17:27:36 +0000 (19:27 +0200)]
Isolate: Some bits shamelessly stolen from box.c

12 years agoBox: Allow /proc/self/maps
Martin Mares [Tue, 26 Jul 2011 07:10:23 +0000 (09:10 +0200)]
Box: Allow /proc/self/maps

13 years agoBox: Allow the arch_prctl syscall on amd64
Martin Mares [Sat, 17 Jul 2010 23:52:00 +0000 (01:52 +0200)]
Box: Allow the arch_prctl syscall on amd64

It is needed by new versions of glibc.

13 years agoDoc: Changed installation target
Martin Mares [Thu, 15 Jul 2010 21:47:17 +0000 (23:47 +0200)]
Doc: Changed installation target

13 years agoDoc: Rewritten the project home page
Martin Mares [Thu, 15 Jul 2010 21:45:56 +0000 (23:45 +0200)]
Doc: Rewritten the project home page

14 years agoBox: Let 32-/64-bit mode be configurable
Martin Mares [Mon, 5 Jul 2010 15:18:11 +0000 (17:18 +0200)]
Box: Let 32-/64-bit mode be configurable

14 years agoBox: Let the 32-bit version refuse to run on 64-bit kernels
Martin Mares [Mon, 5 Jul 2010 15:11:34 +0000 (17:11 +0200)]
Box: Let the 32-bit version refuse to run on 64-bit kernels

14 years agoBox: Support systems with 64-bit kernel and 32-bit user space
Martin Mares [Mon, 5 Jul 2010 15:00:25 +0000 (17:00 +0200)]
Box: Support systems with 64-bit kernel and 32-bit user space

14 years agoBox: Use read_user_mem() where possible
Martin Mares [Sun, 20 Jun 2010 15:51:54 +0000 (17:51 +0200)]
Box: Use read_user_mem() where possible

14 years agoBox: Carefully check that 64-bit syscalls are what they seem to be
Martin Mares [Sun, 20 Jun 2010 15:46:12 +0000 (17:46 +0200)]
Box: Carefully check that 64-bit syscalls are what they seem to be

Having 5 different ways how to do a syscall on amd64 Linux is
a real fun :)

14 years agoBox: Generalize decoding of syscall arguments and implement amd64 version
Martin Mares [Sun, 20 Jun 2010 14:50:48 +0000 (16:50 +0200)]
Box: Generalize decoding of syscall arguments and implement amd64 version

14 years agoBox: Filter out madvise1, which is an alias for madvise with the same ID
Martin Mares [Sun, 20 Jun 2010 14:39:55 +0000 (16:39 +0200)]
Box: Filter out madvise1, which is an alias for madvise with the same ID

14 years agoBox: Introduce 64-bit mode and mask out syscalls which are not available there
Martin Mares [Sun, 20 Jun 2010 14:05:04 +0000 (16:05 +0200)]
Box: Introduce 64-bit mode and mask out syscalls which are not available there

14 years agoBox: Added a toy program testing various kinds of syscalls
Martin Mares [Sun, 20 Jun 2010 00:14:18 +0000 (02:14 +0200)]
Box: Added a toy program testing various kinds of syscalls

14 years agomop: Added utilities for calibration of time limits
Martin Mares [Sat, 27 Mar 2010 20:22:25 +0000 (21:22 +0100)]
mop: Added utilities for calibration of time limits

14 years agomop: mo-score-mop knows how to group test cases
Martin Mares [Sat, 27 Mar 2010 20:18:43 +0000 (21:18 +0100)]
mop: mo-score-mop knows how to group test cases

14 years agomop: mo-score-mop reads everything from the cwd
Martin Mares [Sat, 27 Mar 2010 20:18:32 +0000 (21:18 +0100)]
mop: mo-score-mop reads everything from the cwd

14 years agomop: mo-score uses at least a single space in every column
Martin Mares [Sat, 27 Mar 2010 20:16:36 +0000 (21:16 +0100)]
mop: mo-score uses at least a single space in every column

(otherwise the `column' utility does not count the particular
column)

14 years agomop: mo-score knows how to abbreviate single-word status lines
Martin Mares [Sat, 27 Mar 2010 20:16:11 +0000 (21:16 +0100)]
mop: mo-score knows how to abbreviate single-word status lines

14 years agomop: mo-score has gained a --table option for nice textual tables
Martin Mares [Sat, 27 Mar 2010 20:15:42 +0000 (21:15 +0100)]
mop: mo-score has gained a --table option for nice textual tables

14 years agomop: mo-grab-remote works over the network
Martin Mares [Sat, 27 Mar 2010 20:14:26 +0000 (21:14 +0100)]
mop: mo-grab-remote works over the network

14 years agoEval: Use try-ln where possible
Martin Mares [Fri, 26 Mar 2010 12:21:43 +0000 (13:21 +0100)]
Eval: Use try-ln where possible

14 years agoMO: Fixed compile <source>
Martin Mares [Thu, 25 Mar 2010 18:48:50 +0000 (19:48 +0100)]
MO: Fixed compile <source>

14 years agoMO: Use `cp -aL', so that links are dereferenced properly
Martin Mares [Thu, 25 Mar 2010 10:17:12 +0000 (11:17 +0100)]
MO: Use `cp -aL', so that links are dereferenced properly

14 years agoSubmitd: Increased default # of submits to 100 to match MO-P
Martin Mares [Thu, 25 Mar 2010 09:44:47 +0000 (10:44 +0100)]
Submitd: Increased default # of submits to 100 to match MO-P

14 years agoMO: Limit character set of created passwords
Martin Mares [Thu, 25 Mar 2010 09:22:12 +0000 (10:22 +0100)]
MO: Limit character set of created passwords

14 years agoDocument TEXT_x_COMMENT.
Martin Mares [Sun, 22 Nov 2009 12:12:20 +0000 (13:12 +0100)]
Document TEXT_x_COMMENT.

14 years agoFixed a typo in upload location
Martin Mares [Mon, 10 Aug 2009 09:54:58 +0000 (11:54 +0200)]
Fixed a typo in upload location

14 years agoUpdated at least the most outdated parts of the docs
Martin Mares [Mon, 10 Aug 2009 09:47:14 +0000 (11:47 +0200)]
Updated at least the most outdated parts of the docs

14 years agoEval: Added STACK_LIMIT.
Martin Mares [Fri, 31 Jul 2009 18:57:06 +0000 (20:57 +0200)]
Eval: Added STACK_LIMIT.

14 years agoBox: Do not report all errors as "during startup" if syscalls are not filtered.
Martin Mares [Fri, 31 Jul 2009 18:56:01 +0000 (20:56 +0200)]
Box: Do not report all errors as "during startup" if syscalls are not filtered.

14 years agoBox: Added an option for controlling the stack size limit.
Martin Mares [Fri, 31 Jul 2009 18:50:35 +0000 (20:50 +0200)]
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.

15 years agoHopefully fixed the occasional "UGH" error.
Martin Mares [Wed, 29 Apr 2009 10:22:01 +0000 (12:22 +0200)]
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.

15 years agoInclude <linux/ptrace.h>, because <sys/ptrace.h> tends to be incomplete
Martin Mares [Wed, 29 Apr 2009 10:19:15 +0000 (12:19 +0200)]
Include <linux/ptrace.h>, because <sys/ptrace.h> tends to be incomplete