| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-12-11 | Remove unused import | Timotej Lazar | |
| 2015-12-11 | Return is_admin field on login | Timotej Lazar | |
| 2015-12-11 | Remove a stray print statement | Timotej Lazar | |
| 2015-12-10 | Add instructions for setting up the robot | Timotej Lazar | |
| 2015-12-10 | Note the NLTK dependency in the readme | Timotej Lazar | |
| 2015-12-10 | Remove unused monkey.action.compress | Timotej Lazar | |
| 2015-12-10 | Remove trace-graph function from monkey.test | Timotej Lazar | |
| 2015-12-10 | Support Tree objects in python.util.stringify | Timotej Lazar | |
| 2015-12-10 | Disable debug info when generating Prolog parser | Timotej Lazar | |
| 2015-12-10 | Sort token list for Prolog parser | Timotej Lazar | |
| Ensures the cached version of parsetab.py is used. | |||
| 2015-12-10 | Fix a parser bug | Timotej Lazar | |
| 2015-12-10 | Add prolog.util.parse method | Timotej Lazar | |
| 2015-12-10 | Use the NLTK ParentedTree class for parser output | Timotej Lazar | |
| 2015-12-10 | Add copyright info | Timotej Lazar | |
| 2015-12-09 | Improve robot remote-control script | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |