| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-08-11 | Ignore edits after the first correct version | Timotej Lazar | |
| 2015-08-11 | Clean up prolog.util.decompose | Timotej Lazar | |
| 2015-08-11 | Clean up monkey.fix.step | Timotej Lazar | |
| 2015-08-11 | Simplify get_edits_from_traces | Timotej Lazar | |
| 2015-08-11 | Minor fixes in monkey.test | Timotej Lazar | |
| 2015-08-11 | Remove all trailing punctuation from lines | Timotej Lazar | |
| Remove trailing sequences of COMMAs and PERIODs when extracting edits from a trace. This is because subgoal order is rarely important in Prolog, and we don't care if the edit happened on the last line or not. This means that we treat for example "conc(A,B)," → "conc(A,B,C)." the same as "conc(A,B)" → "conc(A,B,C)". | |||
| 2015-08-11 | Small cleanups | Timotej Lazar | |
| 2015-08-11 | Clean up monkey.edits.get_paths | Timotej Lazar | |
| 2015-08-11 | Move monkey.prolog to root module | Timotej Lazar | |
| 2015-08-11 | Clean up monkey.prolog.util | Timotej Lazar | |
| 2015-08-11 | Minor cleanups in monkey.monkey | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |