| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-11-30 | Limit the number of inferences for Prolog queries | Timotej Lazar | |
| 2015-11-27 | Fix: response on /pengine/destroy_all is just "ok" | Timotej Lazar | |
| 2015-11-18 | Disable predicate autoloading in Prolog engine | Timotej Lazar | |
| So that for example append/3 and member/2 are not accessible to users when solving conc/3 and memb/2. | |||
| 2015-11-18 | Fix test code in prolog.engine | Timotej Lazar | |
| 2015-11-18 | Handle Prolog engine exceptions in PrologSession | Timotej Lazar | |
| 2015-11-17 | Add optional style attribute for popup hints | Timotej Lazar | |
| 2015-11-11 | Add a script for interactively viewing traces | Timotej Lazar | |
| 2015-11-11 | Add migration script for codeq_user.gui_layout | Timotej Lazar | |
| 2015-11-09 | Missed "Shibboleth.sso" paths in init files. | Aleš Smodiš | |
| 2015-11-09 | Change all remaining "Shibboleth.sso" paths to "saml". | Aleš Smodiš | |
| 2015-11-09 | Bugfix: SAML login method did not return correct field for the e-mail. | Aleš Smodiš | |
| 2015-11-06 | Fix SAML login: account upgrading is done via the email attribute, username ↵ | Aleš Smodiš | |
| is eduPersonPrincipalName. | |||
| 2015-11-05 | Add a script to generate HTML with problem description | Timotej Lazar | |
| 2015-11-04 | Use correct type for prolog_solve action | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |