summaryrefslogtreecommitdiff
path: root/monkey/monkey.py
AgeCommit message (Collapse)Author
2015-08-11Tweak message handling codeTimotej Lazar
2015-08-11Use different colors for different types of editsTimotej Lazar
Remove on-hover explanations and replace the now-useless gutter with line numbers. Explanations will be reintroduced in a later commit.
2015-08-11Minor tweaks in monkey.monkeyTimotej Lazar
2015-08-11Move hint message generation to a new functionTimotej Lazar
2015-08-11Correctly find first token in current part in stepTimotej Lazar
2015-08-11Oops, a line got lostTimotej Lazar
2015-08-11Annotate tokens instead of splitting programTimotej 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-11Simplify calls to prolog.util.map_varsTimotej Lazar
2015-08-11Use one format for all messages passed to JS sideTimotej Lazar
2015-08-11Don't store solution-line frequenciesTimotej Lazar
This is currently unused.
2015-08-11Pass the entire current path to monkey.fix.stepTimotej Lazar
Only the last step is used currently.
2015-08-11monkey.fix.step: apply all edits in line orderTimotej 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-11Improve adding a rule in monkey.fix.stepTimotej Lazar
2015-08-11Improve codemirror markersTimotej Lazar
2015-08-11Improve monkey.fix.postprocessTimotej Lazar
2015-08-11Move normalize to prolog.utilTimotej Lazar
2015-08-11Ignore edits after the first correct versionTimotej Lazar
2015-08-11Clean up monkey.fix.stepTimotej Lazar
2015-08-11Simplify get_edits_from_tracesTimotej Lazar
2015-08-11Small cleanupsTimotej Lazar
2015-08-11Clean up monkey.edits.get_pathsTimotej Lazar
2015-08-11Move monkey.prolog to root moduleTimotej Lazar
2015-08-11Clean up monkey.prolog.utilTimotej Lazar
2015-08-11Minor cleanups in monkey.monkeyTimotej Lazar
2015-08-11Initial error marking supportTimotej Lazar
Some cleanups in monkey.monkey. Need better namespacing. Basic postprocessing (merge edits to same line).
2015-08-11Refactor monkey.monkey.fixTimotej Lazar
2015-08-11Remove a superfluous try/except blockTimotej Lazar
2015-08-11Remove unused importsTimotej Lazar
2015-08-11Add support for hint generationTimotej Lazar
2015-08-11Move testing code from monkey.py to test.pyTimotej Lazar
Drop monkey/db.py and use Django models instead.
2015-08-11Use relative imports in monkey modulesTimotej Lazar
2015-08-11Move pymonkey stuff to monkey/Timotej Lazar
Importing pymonkey into webmonkey, let's see how this works.