summaryrefslogtreecommitdiff
path: root/monkey
AgeCommit message (Collapse)Author
2016-02-11monkey.edits: ignore edits that insert too muchTimotej Lazar
2016-02-10monkey: modify cutoff for adding candidate programs to the queueTimotej Lazar
Queue size is not a problem since the switch to AST-based edits.
2016-02-09Fix test function call in monkey.editsTimotej Lazar
2016-01-12Replace prolog.util.rename_vars with rename_vars_list everywhereTimotej Lazar
2016-01-12Get number of passed/total tests from Prolog test functionsTimotej Lazar
2016-01-11For each edit remember the user ids where it was seenTimotej Lazar
2016-01-10Add each edit at most once per solutionTimotej Lazar
2016-01-10Avoid a potential division by zeroTimotej Lazar
2016-01-06Update and fix monkey.testTimotej Lazar
2016-01-06Remove unused importsTimotej Lazar
2016-01-06Remove unused monkey.graph (replaced by nltk.Tree)Timotej Lazar
2016-01-05monkey.edits: cache test resultsTimotej Lazar
2016-01-05monkey.edits: only add solutions to predicates that are actually used when ↵Timotej Lazar
testing
2016-01-04Fix: use correct action types in monkey.editsTimotej Lazar
2015-12-23Prolog: pass aux. code to problem's test functionTimotej Lazar
This allows us to simplify individual problem test functions.
2015-12-22Fix off-by-one when extracting editsTimotej Lazar
2015-12-22Remove a stray "pass"Timotej Lazar
2015-12-21Support all action types in monkey.actionTimotej Lazar
2015-12-21Fix printing edits in monkey.testTimotej Lazar
2015-12-11Rename a functionTimotej Lazar
2015-12-11Use a more general method for extracting editsTimotej Lazar
This is a large overhaul of monkey code. Before, only edits within individual lines were tracked, which required a Prolog-specific method for splitting a program into a list of lines for every rule. In this version, modifications can be tracked within arbitrary code ranges. Ranges to be tracked are determined by selecting "interesting" subtrees in the AST of the starting code version. The new method is simpler, less language-dependent and easier to extend. The downside is that a program must be syntactically correct before we can attempt to fix it (the previous approach could handle programs with syntax errors in some cases). This commit also integrates a call to monkey.fix in prolog_session.hint, by running it if no other hint is found.
2015-12-10Remove unused monkey.action.compressTimotej Lazar
2015-12-10Remove trace-graph function from monkey.testTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-11-04Use correct type for prolog_solve actionTimotej Lazar
2015-10-15Store identifiers instead of IDs in Problem modelTimotej Lazar
2015-10-13Move monkey/monkey.py to monkey/__init__.pyTimotej Lazar
2015-10-13Remove unused code from monkey.actionTimotej Lazar
2015-10-13Fix: add a missing commaTimotej Lazar
2015-10-05Update actionsTimotej Lazar
2015-09-24Update monkey.test.test for new testing functionsTimotej Lazar
2015-09-24Remove trailing . from historical Prolog queriesTimotej Lazar
2015-09-22Add Node.subtrees and Node.leaves functionsTimotej Lazar
2015-09-02Update monkey.test to work with new DBTimotej Lazar
2015-09-02Accept test function as a parameter to monkey.fixTimotej Lazar
2015-08-27Replace prolog.engine.run with ask_allTimotej Lazar
Creating and destroying the pengine should be handled somewhere else. This commit also removes query functionality from prolog.engine.create.
2015-08-24Remove in-edges from monkey.graph.Node classTimotej Lazar
2015-08-24monkey.graph.graphviz: fix escaping of node labelsTimotej Lazar
2015-08-24monkey.graph.graphviz: use id() to reference nodesTimotej Lazar
2015-08-20Convert monkey.edits to use the new DBTimotej Lazar
2015-08-20Remove unneeded DB init stuff from monkey.actionTimotej Lazar
2015-08-13Initial PostgreSQL data model: codeq_user and solution tables.Aleš Smodiš
Converted the action.py to use the new model.
2015-08-11Add code to check for typosMehmet Akalın
2015-08-11Fix monkey.test.print_hintTimotej Lazar
2015-08-11Improve error & warning reportingTimotej Lazar
Hope it does not break anything.
2015-08-11Merge prolog.engine.create{,_and_ask} functionsTimotej Lazar
2015-08-11Remove app-specific code from prolog.engineTimotej Lazar
2015-08-11Do not look for edits in problems with no tracesTimotej Lazar
2015-08-11Ignore attempts from all non-student usersTimotej Lazar
2015-08-11Add a couple of utility functions to NodeTimotej Lazar