codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2016-09-22	Re-add support for disabling some hint types	Timotej Lazar
2016-05-22	Fix: store current solution when tests pass	Timotej Lazar
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
2015-10-10	Use a selector instead of polling Python interpreter	Timotej Lazar
2015-10-07	Add a sandbox for Python interpreter	Timotej Lazar
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 end_p...	Aleš Smodiš
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
2015-09-22	Add support for execing the user's Python program	Timotej Lazar
2015-09-21	Changed testing in util.py	Martin
2015-09-18	Simplify exceptions returned by PythonSession.run	Timotej Lazar
2015-09-16	Implement async. comm. with Python interpreter	Timotej Lazar
2015-09-11	Pass PythonSession.run to hint and test functions	Timotej Lazar
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