index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
server
Age
Commit message (
Expand
)
Author
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
2015-09-29
Add HintPopup and set hint_type on Hint* classes
Timotej Lazar
2015-09-23
Kill Python interpreter on excessive output
Timotej Lazar
2015-09-22
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-09-22
Fix an inconsequential typo
Timotej Lazar
[next]