index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
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 authenticat...
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-17
Implemented init script for the SAML daemon, modified the refresh-and-deploy ...
Aleš Smodiš
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 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-15
Remove terminator instructions from readme
Timotej Lazar
2015-10-15
Sort rows by language and group in Problem.list
Timotej Lazar
2015-10-15
Add missing commit() calls for DB connections
Timotej Lazar
2015-10-14
Use sandbox for testing Python programs
Timotej Lazar
2015-10-14
Add support for command arguments to sandbox
Timotej Lazar
2015-10-13
Move monkey/monkey.py to monkey/__init__.py
Timotej Lazar
2015-10-13
Remove unused code from monkey.action
Timotej Lazar
2015-10-13
Update create.sql and add a migration script
Timotej Lazar
2015-10-13
Update Prolog actions in sqlite_to_pg.py
Timotej Lazar
2015-10-13
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Robert Zorko
2015-10-13
slight changes to the logout functionality, so it won't request a reset anymore
Robert Zorko
2015-10-13
Fix: add a missing comma
Timotej Lazar
2015-10-13
Use identifiers instead of names in get_stat
Timotej Lazar
2015-10-13
Add the websocket server for the robot
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
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Marko Pušnik
2015-10-12
get basic user statistics
Marko Pušnik
2015-10-12
Add the express web framework to the node server.
Aleš Smodiš
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
Update TODO. It is now empty. We can go home.
Timotej Lazar
2015-10-12
Drop name column from language/group/problem tables
Timotej Lazar
2015-10-12
Remove unused server.problems.list_problems
Timotej Lazar
2015-10-12
Drop is_visible column from problem table
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-10
Sandbox: setgid before setuid
Timotej Lazar
2015-10-10
Rebuild sandbox binaries when deploying
Timotej Lazar
2015-10-09
Added exception handling to get_tokens functions.
Martin
2015-10-08
Reworked session handling.
Aleš Smodiš
2015-10-08
Make the Python interpreter even more unbuffered
Timotej Lazar
2015-10-08
Get problems from files in build_web_resources
Timotej Lazar
2015-10-08
Bugfix refresh-deploy script: use = instead of == to test for equality.
Aleš Smodiš
2015-10-07
Bugfix: make the as yet unimplemented meta protocol not generate errors on th...
Aleš Smodiš
[next]