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-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š
2015-10-07
Fix a typo
Timotej Lazar
2015-10-07
Update .gitignore
Timotej Lazar
2015-10-07
Add a sandbox for Python interpreter
Timotej Lazar
2015-10-07
Use 'forkserver' method for multiprocessing
Timotej Lazar
2015-10-07
Implemented the refresh-and-deploy shell script.
Aleš Smodiš
2015-10-07
Add init scripts for sysvinit.
Aleš Smodiš
2015-10-06
Test user's program before looking for hints
Timotej Lazar
2015-10-06
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-10-06
Fixed a bug with function almost_equal.
Martin
2015-10-06
Bugfix: revert to request.session.update_settings() in the Settings class.
Aleš Smodiš
[next]