summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-04-24Support CLP(R) expressions in Prolog parserTimotej Lazar
2016-04-24Return info about experiments to the clientTimotej Lazar
2016-04-22Fix: previous commitTimotej Lazar
2016-04-19Fix: correctly parse difflib.SequenceMatcher outputTimotej Lazar
2016-04-08Prolog: use A,B,C,… for normalized variable namesTimotej Lazar
2016-04-08Remove unused prolog.util.normalizedTimotej Lazar
2016-04-08Fix monkey.test to match monkey.edits updatesTimotej Lazar
2016-04-08Revert "Experiment: prolog_hints"Timotej Lazar
2016-04-07Always return a string in prolog.util.Token.__str__Timotej Lazar
2016-03-30Web: store session SAML data as soon as we get itTimotej Lazar
2016-03-17Improve build_web_resources.pyTimotej Lazar
2016-03-16PrologSession: remove unused attributeTimotej Lazar
2016-03-12Fix pengine regexTimotej Lazar
2016-03-12prolog_session: check for generic hints after specificTimotej Lazar
2016-03-03Remove unused variableTimotej Lazar
2016-03-02Improve hints returned by monkey.fix_hintsTimotej Lazar
2016-03-02Parse 'experiment' actionsTimotej Lazar
2016-03-01Support experiments field for SAML loginsTimotej Lazar
2016-02-29Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() funct...Aleksander Sadikov
2016-02-28Experiment: prolog_hintsTimotej Lazar
2016-02-28Add experiments column to codeq_userTimotej Lazar
2016-02-28Increase thread pool size for Prolog runnerTimotej Lazar
2016-02-25Simplify server.handlers.LoginTimotej Lazar
2016-02-25Destroy the pengine before creating a new oneTimotej Lazar
2016-02-25Update monkey.action parserTimotej Lazar
2016-02-25Catch exceptions in server.handlers.Hint()Timotej Lazar
2016-02-25Add a get_solutions(problem_ids) API functionTimotej Lazar
2016-02-24Merge hint function into test for {Prolog,Python}SessionTimotej Lazar
2016-02-23Remove obsolete HintSequence classTimotej Lazar
2016-02-23Replace urllib3.ReadTimeoutException with socket.timeoutTimotej Lazar
2016-02-23Prolog engine: allow lists predicates in sandboxTimotej Lazar
2016-02-22Do not send language in test/hint commandsTimotej Lazar
2016-02-17Also remove --nosignals in the sysvinit scriptTimotej Lazar
2016-02-17Remove --nosignals from the swipl command lineTimotej Lazar
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