codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2016-02-24	Merge hint function into test for {Prolog,Python}Session	Timotej Lazar

2015-12-10	Add copyright info	Timotej Lazar

2015-10-16	Record solved problems in database	Timotej Lazar

2015-10-15	Store identifiers instead of IDs in Problem model	Timotej Lazar

2015-10-14	Use sandbox for testing Python programs	Timotej Lazar
	Use interpreter.py for running tests as well as interactive sessions. Signals are now sent with "sandbox <user> kill", so terminator is not needed anymore.
2015-10-10	Use a selector instead of polling Python interpreter	Timotej Lazar

2015-10-07	Add a sandbox for Python interpreter	Timotej Lazar
	Switch to user "nobody" and set additional limits.
2015-10-06	Test user's program before looking for hints	Timotej Lazar

2015-10-04	Unification of language session implementations. Added load_problem and ↵	Aleš Smodiš
	end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen.
2015-09-23	Kill Python interpreter on excessive output	Timotej Lazar

2015-09-22	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Martin

2015-09-22	Create the hint-list in individual test functions	Timotej Lazar
	This will allow us to add more hints, for example "did you know?"-type information when the program is correct.
2015-09-22	Add support for execing the user's Python program	Timotej Lazar

2015-09-21	Changed testing in util.py	Martin
	Changed output when timeout occurs in Python
2015-09-18	Simplify exceptions returned by PythonSession.run	Timotej Lazar
	Don't include the first stack entry or the filename (which is <string>).
2015-09-16	Implement async. comm. with Python interpreter	Timotej Lazar
	Creating, destroying and communicationg with the interpreter subprocess is now handled by a thread attached to PythonSession. Interpreter is sandboxed using libseccomp.
2015-09-11	Pass PythonSession.run to hint and test functions	Timotej Lazar
	No other session stuff is needed (for now).
2015-09-11	Use Hint classes in PythonSession	Timotej Lazar

2015-09-08	Check for syntax errors in python_session.hint	Timotej Lazar

2015-09-04	Add Python push&pull services to wsgi_server	Timotej Lazar

2015-09-03	Pass the session object to test and hint functions	Timotej Lazar

2015-09-03	Use multiprocessing.managers for the Python runner	Timotej Lazar

2015-08-31	s/Problem.identifier()/Problem.get_identifier()	Timotej Lazar

2015-08-31	Add hint & test functions for PythonSession	Timotej Lazar

2015-08-28	Add Python session support	Timotej Lazar