| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 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 | 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 ↵ | Aleš Smodiš | |
| description. JavaScript no longer parses pythonic problem descriptions, instead they are loaded by server and JSONized. | |||
| 2015-08-25 | Fix a typo. | Aleš Smodiš | |
| 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. | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |