summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-02-17prolog.engine: use a urllib3 HTTP connection poolTimotej Lazar
Opening large numbers of single-shot requests caused local port exhaustion due to TIME_WAIT.
2016-02-11Update systemd unit files and add codeq.targetTimotej Lazar
For some reason, codeq-web should be started after codeq-web.
2016-02-11monkey.utils.PQueue: fix size trackingTimotej Lazar
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-09Decrease timeout for Monkey hints to 3 sTimotej Lazar
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-05Factor common code out of PrologSession.{hint,run_for_user}Timotej Lazar
2016-01-05PrologSession: only add definitions of predicates that appear in program ↵Timotej Lazar
when testing
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-05Add db.util.make_identifier functionTimotej Lazar
Does the same as scripts.utils.filenamefy.
2016-01-04Add function to find predicates used by a Prolog programTimotej Lazar
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-21Merge branch 'release'Aleš Smodiš
2015-12-21Use SAML IDP at idp.uni-lj.si proxied through codeq.si.Aleš Smodiš
2015-12-15Implement client logs receiving service, which dumps the received logs from ↵Aleš Smodiš
clients.
2015-12-14Improve robot control scriptTimotej Lazar
2015-12-11Only try monkey.fix if we have edits for this problemTimotej 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-11Add is_admin attribute to UserSessionTimotej Lazar
2015-12-11Remove unused importTimotej Lazar
2015-12-11Return is_admin field on loginTimotej Lazar
2015-12-11Remove a stray print statementTimotej Lazar
2015-12-10Add instructions for setting up the robotTimotej Lazar
2015-12-10Note the NLTK dependency in the readmeTimotej Lazar
2015-12-10Remove unused monkey.action.compressTimotej Lazar
2015-12-10Remove trace-graph function from monkey.testTimotej Lazar
2015-12-10Support Tree objects in python.util.stringifyTimotej Lazar
2015-12-10Disable debug info when generating Prolog parserTimotej Lazar
2015-12-10Sort token list for Prolog parserTimotej Lazar
Ensures the cached version of parsetab.py is used.
2015-12-10Fix a parser bugTimotej Lazar
2015-12-10Add prolog.util.parse methodTimotej Lazar
2015-12-10Use the NLTK ParentedTree class for parser outputTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-12-09Improve robot remote-control scriptTimotej Lazar