competition - Competition manager for CodeCup-like games

	Commit message (Collapse)	Author	Age
*	Print game code name when player errors	tomsmeding	2018-08-31
\|
*	Add timings collect script	Tom Smeding	2018-08-31
\|
*	Fix wait()'ing on a Process after terminate()'ing it	tomsmeding	2018-08-29
\|
*	Add scheduler debug logs	tomsmeding	2018-08-29
\|
*	Rename job.{cpp,h} to scheduler	tomsmeding	2018-08-29
\|
*	Compile on mac	tomsmeding	2018-08-29
\|
*	Kill referee on player timeout	Tom Smeding	2018-08-20
\|
*	Don't try to save scores on player timeout	Tom Smeding	2018-08-20
\|
*	Check cache last modified after existence verification	Tom Smeding	2018-08-20
\|
*	Less debug logs	Tom Smeding	2018-08-20
\|
*	Initial	Tom Smeding	2018-08-20