| Age | Commit message (Expand) | Author |
|---|
| 2016-04-08 | Revert "Experiment: prolog_hints" | Timotej Lazar |
| 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() funct... | Aleksander Sadikov |
| 2016-02-28 | Experiment: prolog_hints | Timotej Lazar |
| 2016-02-28 | Add experiments column to codeq_user | Timotej Lazar |
| 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 |
| 2016-02-25 | Add a get_solutions(problem_ids) API function | Timotej Lazar |
| 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 |
| 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 |
| 2016-02-17 | Note the new dependency python3-urllib3 | Timotej Lazar |
| 2016-02-17 | prolog.engine: use a urllib3 HTTP connection pool | Timotej Lazar |
| 2016-02-11 | Update systemd unit files and add codeq.target | Timotej Lazar |
| 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 |
| 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 when... | Timotej Lazar |
| 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 te... | Timotej Lazar |
| 2016-01-05 | Add db.util.make_identifier function | Timotej Lazar |
| 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 |
