codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2015-10-04	Unification of language session implementations. Added load_problem and end_p...	Aleš Smodiš
2015-09-30	Add RobotSession	Timotej Lazar
2015-09-29	removed some debug output and actually enabled writing into the DB	Robert Zorko
2015-09-29	added support to save settings, currently only 'lang' will actually be saved,...	Robert Zorko
2015-09-29	added settings to the user session and the login function now also returns th...	Robert Zorko
2015-09-18	Send the plan definition in get_problem_data	Timotej Lazar
2015-09-16	Implement async. comm. with Python interpreter	Timotej Lazar
2015-09-14	Add SID to JSON object in UserSession.send	Timotej Lazar
2015-09-14	Reimplemented communication with the client side.	Aleš Smodiš
2015-09-03	Use multiprocessing.managers for the Python runner	Timotej Lazar
2015-09-01	Change hard-coded language to Slovene for testing	Timotej Lazar
2015-09-01	Add Python support to wsgi_server.{Hint,Test}	Timotej Lazar
2015-08-28	Add a hint service for Prolog	Timotej Lazar
2015-08-28	Fix SQL in UserSession.update_solution	Timotej Lazar
2015-08-28	Add Python session support	Timotej Lazar
2015-08-27	Fix a typo	Timotej Lazar
2015-08-26	Implemented activity service (auto-saving of traces and solutions).	Aleš Smodiš
2015-08-25	Work on handling activity trace.	Aleš Smodiš
2015-08-25	Implemented methods to fetch a list of available problems and the problem des...	Aleš Smodiš
2015-08-25	Fix a typo.	Aleš Smodiš
2015-08-24	Split the development into daemon and wsgi_server.	Aleš Smodiš