| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-09-24 | Remove trailing . from historical Prolog queries | Timotej Lazar | |
| 2015-09-22 | Add Node.subtrees and Node.leaves functions | Timotej Lazar | |
| 2015-09-02 | Update monkey.test to work with new DB | Timotej Lazar | |
| 2015-09-02 | Accept test function as a parameter to monkey.fix | 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-24 | Remove in-edges from monkey.graph.Node class | 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-20 | Convert monkey.edits to use the new DB | Timotej Lazar | |
| 2015-08-20 | Remove unneeded DB init stuff from monkey.action | Timotej Lazar | |
| 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 | Improve error & warning reporting | Timotej Lazar | |
| Hope it does not break anything. | |||
| 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 | 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 | 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 | 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 | 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 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)". | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |