| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-08-27 | Fix a typo | Timotej Lazar | |
| 2015-08-27 | Add test service to wsgi_server | Timotej Lazar | |
| This calls the test function defined in common.py for the given problem. | |||
| 2015-08-27 | Add some helper methods to db.models | Timotej Lazar | |
| 2015-08-27 | Replace prolog.engine.run with ask_all | Timotej Lazar | |
| Creating and destroying the pengine should be handled somewhere else. This commit also removes query functionality from prolog.engine.create. | |||
| 2015-08-27 | Fix a typo and add a comment | Timotej Lazar | |
| 2015-08-26 | Implemented activity service (auto-saving of traces and solutions). | Aleš Smodiš | |
| 2015-08-26 | Use /destroy_all to abort and destroy pengines | Timotej Lazar | |
| Poorly documented, but works better than abort & destroy. | |||
| 2015-08-26 | Add the tagsfile to .gitignore | 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 | Wait with updating solutions until the code is done. | Aleš Smodiš | |
| 2015-08-25 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Aleš Smodiš | |
| 2015-08-25 | Work on handling activity trace. | Aleš Smodiš | |
| 2015-08-25 | Update readme | Timotej Lazar | |
| 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. | |||
| 2015-08-24 | Remove in-edges from monkey.graph.Node class | Timotej Lazar | |
| 2015-08-24 | .gitignore some more stuff | Timotej Lazar | |
| 2015-08-24 | Simplify python.engine | Timotej Lazar | |
| 2015-08-24 | monkey.graph.graphviz: fix escaping of node labels | Timotej Lazar | |
| 2015-08-24 | monkey.graph.graphviz: use id() to reference nodes | Timotej Lazar | |
| 2015-08-21 | Add a hashbang line to the Prolog server script | Timotej Lazar | |
| 2015-08-21 | Add a Python server for running users' code | Timotej Lazar | |
| 2015-08-20 | Add a Prolog pengine server for running queries | Timotej Lazar | |
| Run with "swipl main.pl". | |||
| 2015-08-20 | Add prolog.engine.run | Timotej Lazar | |
| Collects all the answers to a given query within the specified timeout. | |||
| 2015-08-20 | Simplify and privatize prolog.engine.get_message | Timotej Lazar | |
| 2015-08-20 | Add a timeout option for prolog.engine requests | Timotej Lazar | |
| 2015-08-20 | Replace strip_html function in prolog.engine | Timotej Lazar | |
| 2015-08-20 | Convert monkey.edits to use the new DB | Timotej Lazar | |
| 2015-08-20 | Add a data model for the problem table | Timotej Lazar | |
| 2015-08-20 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Aleš Smodiš | |
| 2015-08-20 | Bugfix: database constraint problem.problem_uq2 referenced only identifier, ↵ | Aleš Smodiš | |
| but it should reference the triplet (language_id, problem_group_id, identifier) instead. | |||
| 2015-08-20 | Remove unneeded DB init stuff from monkey.action | Timotej Lazar | |
| 2015-08-19 | Adapted existing database entities to changes in the model. Excluded ↵ | Aleš Smodiš | |
| database connection handling into __init__.py of the db package. | |||
| 2015-08-19 | New database tables and data imports: user_group, user_in_group, language, ↵ | Aleš Smodiš | |
| problem_group, problem. | |||
| 2015-08-18 | Implemented the script to export problems from the SQLite database to the ↵ | Aleš Smodiš | |
| new directory structure. | |||
| 2015-08-13 | The essential .gitignore. | Aleš Smodiš | |
| 2015-08-13 | The conversion script SQLite -> PostgreSQL: | Aleš Smodiš | |
| - auth_user -> codeq_user, - tutor_attempt -> solution. | |||
| 2015-08-13 | The initial readme. | Aleš Smodiš | |
| 2015-08-13 | Initial PostgreSQL data model: codeq_user and solution tables. | Aleš Smodiš | |
| Converted the action.py to use the new model. | |||
| 2015-08-11 | Add code to check for typos | Mehmet Akalın | |
| 2015-08-11 | Fix monkey.test.print_hint | Timotej Lazar | |
| 2015-08-11 | Print 'true' on success with no bindings | Timotej Lazar | |
| 2015-08-11 | Disable parser generation | Timotej Lazar | |
| The parser is currently unused. | |||
| 2015-08-11 | Improve error & warning reporting | Timotej Lazar | |
| Hope it does not break anything. | |||
| 2015-08-11 | Use json-html format for Prolog replies | Timotej Lazar | |
| The only way to get residuals in CLP queries. | |||
| 2015-08-11 | Merge prolog.engine.create{,_and_ask} functions | Timotej Lazar | |
| 2015-08-11 | Remove app-specific code from prolog.engine | Timotej Lazar | |
| 2015-08-11 | Specify timeout when generating test cases | Timotej Lazar | |
| 2015-08-11 | Do not look for edits in problems with no traces | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |