codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2017-02-27	Implement pattern-based hints (see AIED2017)	Timotej Lazar
2015-12-23	Prolog: pass aux. code to problem's test function	Timotej Lazar
2015-12-11	Remove unused import	Timotej Lazar
2015-12-10	Add copyright info	Timotej Lazar
2015-10-15	Process user stats in Python instead of SQL	Timotej Lazar
2015-10-12	Remove unused server.problems.list_problems	Timotej Lazar
2015-10-05	Add logging to file to python server. Configure logfile paths from environmen...	Aleš Smodiš
2015-09-18	Set problems path via CODEQ_PROBLEMS environment variable.	Aleš Smodiš
2015-09-18	added a parameter to the get problems python function, which accepts the lang...	Robert Zorko
2015-09-14	Reimplemented communication with the client side.	Aleš Smodiš
2015-08-31	Return problems for all languages in list_problems	Timotej Lazar
2015-08-30	Path (for loading modules) now usable also on Windows.	Aleksander Sadikov
2015-08-28	Add a hint service for Prolog	Timotej Lazar
2015-08-26	Do not include facts when loading Prolog solutions	Timotej Lazar
2015-08-25	Implemented methods to fetch a list of available problems and the problem des...	Aleš Smodiš
2015-08-24	Split the development into daemon and wsgi_server.	Aleš Smodiš