summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
Needed for problems/clp_fd/tobase_3.
2016-05-06Prolog: increase inference limit for test queriesTimotej Lazar
Needed for problems/clp_fd/magic_1.
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
Oops.
2016-04-19Fix: correctly parse difflib.SequenceMatcher outputTimotej Lazar
2016-04-08Prolog: use A,B,C,… for normalized variable namesTimotej Lazar
This is somewhat more readable than A0,A1,A2,….
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
This reverts commit 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615.
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() ↵Aleksander Sadikov
function added.
2016-02-28Experiment: prolog_hintsTimotej Lazar
Given an experiment object read from codeq_user in the form {'id': 'prolog_hints', 'group': 'manual_hints'} selectively enable only manual hints, automatic hints, or no hints. This should probably be reverted once the experiment is done.
2016-02-28Add experiments column to codeq_userTimotej Lazar
This JSON column holds an array of experiment objects, for example: [{'id': 'prolog_hints', 'group': 'manual_hints'}]. To include users in an experiment, just add appropriate objects to their records. Not the cleanest design from the DB point of view, but enough for the single current use case.
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
Note: support for explicit Hint() requests will likely be removed.
2016-02-25Add a get_solutions(problem_ids) API functionTimotej Lazar
It returns the user’s solutions to given problems.
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
To keep compatibility with existing test / hint functions.
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
Signals are needed for destroying pengines.
2016-02-17Note the new dependency python3-urllib3Timotej Lazar
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
generated by cgit v1.2.1 (git 2.18.0) at 2024-06-18 13:41:19 +0000