summaryrefslogtreecommitdiff
path: root/server
AgeCommit message (Collapse)Author
2015-08-26Implemented activity service (auto-saving of traces and solutions).Aleš Smodiš
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-25Wait with updating solutions until the code is done.Aleš Smodiš
2015-08-25Work on handling activity trace.Aleš Smodiš
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-25Fix a typo.Aleš Smodiš
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.