summaryrefslogtreecommitdiff
path: root/monkey
AgeCommit message (Expand)Author
2016-01-05monkey.edits: cache test resultsTimotej Lazar
2016-01-05monkey.edits: only add solutions to predicates that are actually used when te...Timotej Lazar
2016-01-04Fix: use correct action types in monkey.editsTimotej Lazar
2015-12-23Prolog: pass aux. code to problem's test functionTimotej Lazar
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
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
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š
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
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
2015-08-11Use Node class from monkey.util in parserTimotej Lazar
2015-08-11Tweak message handling codeTimotej Lazar
2015-08-11Reorder cases in monkey.test and fix print_hintTimotej Lazar
2015-08-11Use different colors for different types of editsTimotej Lazar
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-11Ignore edits a→b where a or b has multiple partsTimotej Lazar
2015-08-11Annotate tokens instead of splitting programTimotej Lazar
2015-08-11Simplify calls to prolog.util.map_varsTimotej Lazar