summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-09-22Re-add support for disabling some hint typesTimotej Lazar
2016-09-07Improve error handling in build_web_resourcesTimotej Lazar
2016-07-15Fix prolog runner for SWI-Prolog ≥ 7.3.22Timotej Lazar
2016-05-29Prolog runner: allow call/1 in sandboxed modeTimotej Lazar
2016-05-22Fix: store current solution when tests passTimotej Lazar
2016-05-22Add support for per-problem initial codeTimotej Lazar
2016-05-16Detect predicates used in DCG clausesTimotej Lazar
2016-05-15Support a | b notation for DCGsTimotej Lazar
2016-05-15Hack in support for DCGs in Prolog parserTimotej Lazar
2016-05-08Prolog: allow custom inference limit in check_answersTimotej Lazar
2016-05-08Prolog: support CLP(FD) in parserTimotej Lazar
2016-05-06Prolog: increase inference limit for test queriesTimotej Lazar
2016-05-06Prolog: increase inference limit for test queriesTimotej Lazar
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