Age | Commit message (Expand) | Author |
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 when... | Timotej Lazar |
2015-12-23 | Prolog: pass aux. code to problem's test function | Timotej Lazar |
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 |
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 i... | Aleš Smodiš |
2015-11-02 | Modified the python server to support SAML account merge/upgrade upon first S... | Aleš Smodiš |
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 AJA... | Aleš Smodiš |
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 |
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 a... | Aleš Smodiš |
2015-10-14 | Use sandbox for testing Python programs | Timotej Lazar |
2015-10-13 | Use identifiers instead of names in get_stat | Timotej Lazar |
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š |
2015-10-07 | Bugfix: make the as yet unimplemented meta protocol not generate errors on th... | Aleš Smodiš |
2015-10-07 | Add a sandbox for Python interpreter | Timotej Lazar |
2015-10-06 | Test user's program before looking for hints | Timotej Lazar |
2015-10-06 | Bugfix: revert to request.session.update_settings() in the Settings class. | Aleš Smodiš |
2015-10-06 | sign up, update last_login | Marko Pušnik |
2015-10-06 | change password | Marko Pušnik |
2015-10-05 | Add logging to file to python server. Configure logfile paths from environmen... | Aleš Smodiš |
2015-10-05 | Bugfix: correctly handle python-nodejs transport using bytes. | Aleš Smodiš |
2015-10-04 | Unification of language session implementations. Added load_problem and end_p... | Aleš Smodiš |
2015-09-30 | Add RobotSession | Timotej Lazar |
2015-09-29 | removed some debug output and actually enabled writing into the DB | Robert Zorko |
2015-09-29 | added support to save settings, currently only 'lang' will actually be saved,... | Robert Zorko |
2015-09-29 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Robert Zorko |
2015-09-29 | added settings to the user session and the login function now also returns th... | Robert Zorko |