Age | Commit message (Expand) | Author |
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 |
2015-12-23 | Prolog: pass aux. code to problem's test function | Timotej Lazar |
2015-12-22 | Fix off-by-one when extracting edits | Timotej Lazar |
2015-12-22 | Remove a stray "pass" | Timotej Lazar |
2015-12-21 | Support all action types in monkey.action | Timotej Lazar |
2015-12-21 | Fix printing edits in monkey.test | Timotej Lazar |
2015-12-21 | Merge branch 'release' | Aleš Smodiš |
2015-12-21 | Use SAML IDP at idp.uni-lj.si proxied through codeq.si. | Aleš Smodiš |
2015-12-15 | Implement client logs receiving service, which dumps the received logs from c... | Aleš Smodiš |
2015-12-14 | Improve robot control script | Timotej Lazar |
2015-12-11 | Only try monkey.fix if we have edits for this problem | Timotej Lazar |
2015-12-11 | Rename a function | Timotej Lazar |
2015-12-11 | Use a more general method for extracting edits | Timotej Lazar |
2015-12-11 | Add is_admin attribute to UserSession | Timotej Lazar |
2015-12-11 | Remove unused import | Timotej Lazar |