codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2015-09-01	Add Python support to wsgi_server.{Hint,Test}	Timotej Lazar
2015-08-31	Return problems for all languages in list_problems	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-30	Path (for loading modules) now usable also on Windows.	Aleksander Sadikov
2015-08-28	Handle test results as a static hint	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-28	Destroy the Prolog engine when ending a query	Timotej Lazar
2015-08-27	Remove unneeded import	Timotej Lazar
2015-08-27	Fix a typo	Timotej Lazar
2015-08-27	Add test service to wsgi_server	Timotej Lazar
2015-08-27	Replace prolog.engine.run with ask_all	Timotej Lazar
2015-08-26	Implemented activity service (auto-saving of traces and solutions).	Aleš Smodiš
2015-08-26	Do not include facts when loading Prolog solutions	Timotej Lazar
2015-08-25	Wait with updating solutions until the code is done.	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š