codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-10-15	Process user stats in Python instead of SQL	Timotej Lazar
	Since we ultimately want to include events from traces (hints, tests) in statistics, SQL will be insufficient.
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 ↵	Aleš Smodiš
	environment variables CODEQ_SERVER_LOG and CODEQ_WEB_LOG.
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 ↵	Robert Zorko
	language (either 'prolog' or 'python')
2015-09-14	Reimplemented communication with the client side.	Aleš Smodiš
	* Implemented a node web server supporting asynchronous websocket and long-polling communication with clients. * Implemented TCP communication between python middleware and node web server.
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
	Fact library is not a part of the solution, and is loaded separately when running queries or tests for a particular problem.
2015-08-25	Implemented methods to fetch a list of available problems and the problem ↵	Aleš Smodiš
	description. JavaScript no longer parses pythonic problem descriptions, instead they are loaded by server and JSONized.
2015-08-24	Split the development into daemon and wsgi_server.	Aleš Smodiš
	Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.