| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-11-04 | Fix prolog.engine.check_answers | Timotej Lazar | |
| Variables not specified in the set of expected answers are now ignored. | |||
| 2015-11-02 | Add support for upgrade an existing account to the SAML-type account in the ↵ | Aleš Smodiš | |
| node web server. | |||
| 2015-11-02 | Modified the python server to support SAML account merge/upgrade upon first ↵ | Aleš Smodiš | |
| SAML-type login of an existing user. | |||
| 2015-10-30 | Update db.models.CodeqUser | Timotej Lazar | |
| 2015-10-30 | Use psycopg's builtin support for jsonb columns | Timotej Lazar | |
| 2015-10-21 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Robert Zorko | |
| 2015-10-21 | fix for the forgotten samlData | Robert Zorko | |
| 2015-10-21 | Adapt to the new SAML URLs, set ForceAuthn=true to always request ↵ | Aleš Smodiš | |
| authentication from the user. | |||
| 2015-10-21 | username added to login replay | Marko Pušnik | |
| 2015-10-19 | Add method to return attempted/solved problems for given language | Timotej Lazar | |
| 2015-10-17 | Implemented init script for the SAML daemon, modified the refresh-and-deploy ↵ | Aleš Smodiš | |
| script accordingly. | |||
| 2015-10-17 | Added periodic timed out request cleaner to SAML daemon. | Aleš Smodiš | |
| 2015-10-16 | Logging improvements in the SAML daemon. | Aleš Smodiš | |
| 2015-10-16 | Record solved problems in database | Timotej Lazar | |
| 2015-10-16 | added gui_layout to the settings of the user | Robert Zorko | |
| 2015-10-15 | Server-side support for SAML logout, sessions are destroyed only using an ↵ | Aleš Smodiš | |
| AJAX call. | |||
| 2015-10-15 | Implemented python login using authenticated SAML credentials. | Aleš Smodiš | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |