summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-02-17Note the new dependency python3-urllib3Timotej Lazar
2016-02-17prolog.engine: use a urllib3 HTTP connection poolTimotej Lazar
2016-02-11Update systemd unit files and add codeq.targetTimotej Lazar
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
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 when...Timotej Lazar
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-05Add db.util.make_identifier functionTimotej Lazar
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
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 c...Aleš Smodiš
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
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
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