summaryrefslogtreecommitdiff
path: root/server/problems.py
AgeCommit message (Collapse)Author
2015-12-23Prolog: pass aux. code to problem's test functionTimotej Lazar
This allows us to simplify individual problem test functions.
2015-12-11Remove unused importTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-10-15Process user stats in Python instead of SQLTimotej Lazar
Since we ultimately want to include events from traces (hints, tests) in statistics, SQL will be insufficient.
2015-10-12Remove unused server.problems.list_problemsTimotej Lazar
2015-10-05Add logging to file to python server. Configure logfile paths from ↵Aleš Smodiš
environment variables CODEQ_SERVER_LOG and CODEQ_WEB_LOG.
2015-09-18Set problems path via CODEQ_PROBLEMS environment variable.Aleš Smodiš
2015-09-18added a parameter to the get problems python function, which accepts the ↵Robert Zorko
language (either 'prolog' or 'python')
2015-09-14Reimplemented 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-31Return problems for all languages in list_problemsTimotej Lazar
2015-08-30Path (for loading modules) now usable also on Windows.Aleksander Sadikov
2015-08-28Add a hint service for PrologTimotej Lazar
2015-08-26Do not include facts when loading Prolog solutionsTimotej 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-25Implemented 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-24Split the development into daemon and wsgi_server.Aleš Smodiš
Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.