summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
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š