| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-12-23 | Prolog: pass aux. code to problem's test function | Timotej Lazar | |
| This allows us to simplify individual problem test functions. | |||
| 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 ↵ | Aleš Smodiš | |
| clients. | |||
| 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 | |
| This is a large overhaul of monkey code. Before, only edits within individual lines were tracked, which required a Prolog-specific method for splitting a program into a list of lines for every rule. In this version, modifications can be tracked within arbitrary code ranges. Ranges to be tracked are determined by selecting "interesting" subtrees in the AST of the starting code version. The new method is simpler, less language-dependent and easier to extend. The downside is that a program must be syntactically correct before we can attempt to fix it (the previous approach could handle programs with syntax errors in some cases). This commit also integrates a call to monkey.fix in prolog_session.hint, by running it if no other hint is found. | |||
| 2015-12-11 | Add is_admin attribute to UserSession | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |