| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
| 2015-08-11 | Remove unused function from prolog.util | Timotej Lazar | |
| 2015-08-11 | Tweak message handling code | Timotej Lazar | |
| 2015-08-11 | Reorder cases in monkey.test and fix print_hint | Timotej Lazar | |
| 2015-08-11 | Use different colors for different types of edits | Timotej Lazar | |
| Remove on-hover explanations and replace the now-useless gutter with line numbers. Explanations will be reintroduced in a later commit. | |||
| 2015-08-11 | Minor tweaks in monkey.monkey | Timotej Lazar | |
| 2015-08-11 | Print a random failing test for incorrect solution | Timotej Lazar | |
| 2015-08-11 | prolog.engine: use .get() to access reply | Timotej Lazar | |
| In case SWI engine goes insane and returns a malformed reply (has happened). Also fix the test case in this file to use the new, classless methods. | |||
| 2015-08-11 | Move hint message generation to a new function | Timotej Lazar | |
| 2015-08-11 | Correctly find first token in current part in step | Timotej Lazar | |
| 2015-08-11 | Oops, a line got lost | Timotej Lazar | |
| 2015-08-11 | Ignore edits a→b where a or b has multiple parts | Timotej Lazar | |
| This happens for instance when a user writes more than one goal on the same line. A better way would be to handle this when building a graph (use annotate instead of splitting on newlines). | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |