| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-04-08 | Revert "Experiment: prolog_hints" | Timotej Lazar | |
| This reverts commit 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615. | |||
| 2016-04-07 | Always return a string in prolog.util.Token.__str__ | Timotej Lazar | |
| 2016-03-30 | Web: store session SAML data as soon as we get it | Timotej Lazar | |
| 2016-03-17 | Improve build_web_resources.py | Timotej Lazar | |
| 2016-03-16 | PrologSession: remove unused attribute | Timotej Lazar | |
| 2016-03-12 | Fix pengine regex | Timotej Lazar | |
| 2016-03-12 | prolog_session: check for generic hints after specific | Timotej Lazar | |
| 2016-03-03 | Remove unused variable | Timotej Lazar | |
| 2016-03-02 | Improve hints returned by monkey.fix_hints | Timotej Lazar | |
| 2016-03-02 | Parse 'experiment' actions | Timotej Lazar | |
| 2016-03-01 | Support experiments field for SAML logins | Timotej Lazar | |
| 2016-02-29 | Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() ↵ | Aleksander Sadikov | |
| function added. | |||
| 2016-02-28 | Experiment: prolog_hints | Timotej 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-28 | Add experiments column to codeq_user | Timotej 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-28 | Increase thread pool size for Prolog runner | Timotej Lazar | |
| 2016-02-25 | Simplify server.handlers.Login | Timotej Lazar | |
| 2016-02-25 | Destroy the pengine before creating a new one | Timotej Lazar | |
| 2016-02-25 | Update monkey.action parser | Timotej Lazar | |
| 2016-02-25 | Catch exceptions in server.handlers.Hint() | Timotej Lazar | |
| Note: support for explicit Hint() requests will likely be removed. | |||
| 2016-02-25 | Add a get_solutions(problem_ids) API function | Timotej Lazar | |
| It returns the user’s solutions to given problems. | |||
| 2016-02-24 | Merge hint function into test for {Prolog,Python}Session | Timotej Lazar | |
| 2016-02-23 | Remove obsolete HintSequence class | Timotej Lazar | |
| 2016-02-23 | Replace urllib3.ReadTimeoutException with socket.timeout | Timotej Lazar | |
| To keep compatibility with existing test / hint functions. | |||
| 2016-02-23 | Prolog engine: allow lists predicates in sandbox | Timotej Lazar | |
| 2016-02-22 | Do not send language in test/hint commands | Timotej Lazar | |
| 2016-02-17 | Also remove --nosignals in the sysvinit script | Timotej Lazar | |
| 2016-02-17 | Remove --nosignals from the swipl command line | Timotej Lazar | |
| Signals are needed for destroying pengines. | |||
| 2016-02-17 | Note the new dependency python3-urllib3 | Timotej Lazar | |
| 2016-02-17 | prolog.engine: use a urllib3 HTTP connection pool | Timotej Lazar | |
| Opening large numbers of single-shot requests caused local port exhaustion due to TIME_WAIT. | |||
| 2016-02-11 | Update systemd unit files and add codeq.target | Timotej Lazar | |
| For some reason, codeq-web should be started after codeq-web. | |||
| 2016-02-11 | monkey.utils.PQueue: fix size tracking | Timotej Lazar | |
| 2016-02-11 | monkey.edits: ignore edits that insert too much | Timotej Lazar | |
| 2016-02-10 | monkey: modify cutoff for adding candidate programs to the queue | Timotej Lazar | |
| Queue size is not a problem since the switch to AST-based edits. | |||
| 2016-02-09 | Decrease timeout for Monkey hints to 3 s | Timotej Lazar | |
| 2016-02-09 | Fix test function call in monkey.edits | Timotej Lazar | |
| 2016-01-12 | Replace prolog.util.rename_vars with rename_vars_list everywhere | Timotej Lazar | |
| 2016-01-12 | Get number of passed/total tests from Prolog test functions | Timotej Lazar | |
| 2016-01-11 | For each edit remember the user ids where it was seen | Timotej Lazar | |
| 2016-01-10 | Add each edit at most once per solution | Timotej Lazar | |
| 2016-01-10 | Avoid a potential division by zero | Timotej Lazar | |
| 2016-01-06 | Update and fix monkey.test | Timotej Lazar | |
| 2016-01-06 | Remove unused imports | Timotej Lazar | |
| 2016-01-06 | Remove unused monkey.graph (replaced by nltk.Tree) | Timotej Lazar | |
| 2016-01-05 | Factor common code out of PrologSession.{hint,run_for_user} | Timotej Lazar | |
| 2016-01-05 | PrologSession: only add definitions of predicates that appear in program ↵ | Timotej Lazar | |
| when testing | |||
| 2016-01-05 | monkey.edits: cache test results | Timotej Lazar | |
| 2016-01-05 | monkey.edits: only add solutions to predicates that are actually used when ↵ | Timotej Lazar | |
| testing | |||
| 2016-01-05 | Add db.util.make_identifier function | Timotej Lazar | |
| Does the same as scripts.utils.filenamefy. | |||
| 2016-01-04 | Add function to find predicates used by a Prolog program | Timotej Lazar | |
| 2016-01-04 | Fix: use correct action types in monkey.edits | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |