| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-08-11 | Ignore attempts from all non-student users | Timotej Lazar | |
| 2015-08-11 | Silence warnings from ply.lex.lex() | Timotej Lazar | |
| 2015-08-11 | Add a couple of utility functions to Node | Timotej Lazar | |
| 2015-08-11 | Use Node class from monkey.util in parser | Timotej Lazar | |
| Also simplify rules for list expressions. | |||
| 2015-08-11 | Add a parser for (simplified) Prolog | Timotej Lazar | |
| 2015-08-11 | Always lex , as COMMA, never as NAME | Timotej Lazar | |
| Also a testing loop to prolog.lexer. | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |