| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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). | |||
| 2015-08-11 | Annotate tokens instead of splitting program | Timotej Lazar | |
| Instead of splitting the program by line numbers, do limited parsing (enough to distinguish , in "memb(X,Y)" from , in "a :- b, c."). Each token in the parsed program is annotated with rule and part number. Rewrite monkey.fix.step to take program as a sequence of annotated tokens instead of lists of lines and rules. Improve message passing to website. | |||
| 2015-08-11 | Simplify calls to prolog.util.map_vars | Timotej Lazar | |
| 2015-08-11 | Exclude admin and test users when analyzing traces | Timotej Lazar | |
| 2015-08-11 | Use one format for all messages passed to JS side | Timotej Lazar | |
| 2015-08-11 | Add a function for Damerau-Levenshtein distance | Timotej Lazar | |
| Will be used to check for typos. | |||
| 2015-08-11 | Don't store solution-line frequencies | Timotej Lazar | |
| This is currently unused. | |||
| 2015-08-11 | Pass the entire current path to monkey.fix.step | Timotej Lazar | |
| Only the last step is used currently. | |||
| 2015-08-11 | monkey.fix.step: apply all edits in line order | Timotej Lazar | |
| For instance, don't add a new rule at line 1 after changing line 3 - only the ordered sequence of edits will be checked. | |||
| 2015-08-11 | Remove unused imports in monkey.test | Timotej Lazar | |
| 2015-08-11 | Simplify monkey.edits.get_edits_from_traces | Timotej Lazar | |
| 2015-08-11 | Rename monkey.edits.edit_graph to trace_graph | Timotej Lazar | |
| 2015-08-11 | Cleanups | Timotej Lazar | |
| 2015-08-11 | Fix recording replacements (remove/insert) | Timotej Lazar | |
| 2015-08-11 | Improve adding a rule in monkey.fix.step | Timotej Lazar | |
| 2015-08-11 | Improve codemirror markers | Timotej Lazar | |
| 2015-08-11 | Improve monkey.fix.postprocess | Timotej Lazar | |
| 2015-08-11 | Move normalize to prolog.util | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |