codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
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