| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-08-11 | Tweak message handling code | 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 | 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 | Use one format for all messages passed to JS side | Timotej Lazar | |
| 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 | 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 | 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 | |
| 2015-08-11 | Initial error marking support | Timotej Lazar | |
| Some cleanups in monkey.monkey. Need better namespacing. Basic postprocessing (merge edits to same line). | |||
| 2015-08-11 | Refactor monkey.monkey.fix | Timotej Lazar | |
| 2015-08-11 | Remove a superfluous try/except block | Timotej Lazar | |
| 2015-08-11 | Remove unused imports | Timotej Lazar | |
| 2015-08-11 | Add support for hint generation | Timotej Lazar | |
| 2015-08-11 | Move testing code from monkey.py to test.py | Timotej Lazar | |
| Drop monkey/db.py and use Django models instead. | |||
| 2015-08-11 | Use relative imports in monkey modules | Timotej Lazar | |
| 2015-08-11 | Move pymonkey stuff to monkey/ | Timotej Lazar | |
| Importing pymonkey into webmonkey, let's see how this works. | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |