| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-03-12 | prolog_session: check for generic hints after specific | Timotej Lazar | |
| 2016-03-01 | Support experiments field for SAML logins | Timotej Lazar | |
| 2016-02-28 | Experiment: prolog_hints | Timotej Lazar | |
| Given an experiment object read from codeq_user in the form {'id': 'prolog_hints', 'group': 'manual_hints'} selectively enable only manual hints, automatic hints, or no hints. This should probably be reverted once the experiment is done. | |||
| 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-25 | Simplify server.handlers.Login | Timotej Lazar | |
| 2016-02-25 | Destroy the pengine before creating a new one | 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-22 | Do not send language in test/hint commands | Timotej Lazar | |
| 2016-02-09 | Decrease timeout for Monkey hints to 3 s | Timotej Lazar | |
| 2016-01-12 | Get number of passed/total tests from Prolog test functions | 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 | |||
| 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-11 | Only try monkey.fix if we have edits for this problem | 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-10 | Add copyright info | 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-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-02 | Modified the python server to support SAML account merge/upgrade upon first ↵ | Aleš Smodiš | |
| SAML-type login of an existing 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-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š | |
| 2015-10-15 | Process user stats in Python instead of SQL | Timotej Lazar | |
| Since we ultimately want to include events from traces (hints, tests) in statistics, SQL will be insufficient. | |||
| 2015-10-15 | Store identifiers instead of IDs in Problem model | Timotej Lazar | |
| 2015-10-15 | Implemented minimum support for authentication via SAML with an addition of ↵ | Aleš Smodiš | |
| a new daemon. TODO: python login with SAML credentials. | |||
| 2015-10-14 | Use sandbox for testing Python programs | Timotej Lazar | |
| Use interpreter.py for running tests as well as interactive sessions. Signals are now sent with "sandbox <user> kill", so terminator is not needed anymore. | |||
| 2015-10-13 | Use identifiers instead of names in get_stat | Timotej Lazar | |
| Names have been removed from the database. This code will be updated when we decide what statistics to present to the user. | |||
| 2015-10-13 | Store robot's address in settings | Timotej Lazar | |
| 2015-10-12 | Rename lang setting to gui_lang | Timotej Lazar | |
| 2015-10-12 | get basic user statistics | Marko Pušnik | |
| 2015-10-12 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Marko Pušnik | |
| 2015-10-12 | attributes for profile page | Marko Pušnik | |
| 2015-10-12 | Remove unused server.problems.list_problems | Timotej Lazar | |
| 2015-10-12 | signup: +name +email | Marko Pušnik | |
| 2015-10-10 | Use a selector instead of polling Python interpreter | Timotej Lazar | |
| 2015-10-08 | Reworked session handling. | Aleš Smodiš | |
| * All requests have a session ID, except for the initial create_session system messages. * User session can be in an authenticated or anonymous state. * In anonymous state it is not possible to perform user actions. * Logout has been implemented. * Sessions timeout and are cleared after a period of inactivity (1 hour). * Bugfixed the lang setting handling. * Renamed get_problem -> get_current_solution, return only the user's current solution, not the whole problem data. | |||
| 2015-10-07 | Bugfix: make the as yet unimplemented meta protocol not generate errors on ↵ | Aleš Smodiš | |
| the Python side. | |||
| 2015-10-07 | Add a sandbox for Python interpreter | Timotej Lazar | |
| Switch to user "nobody" and set additional limits. | |||
| 2015-10-06 | Test user's program before looking for hints | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |