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-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š
2015-10-06
Kill all the zombies
Timotej Lazar
2015-10-06
sign up, update last_login
Marko Pušnik
2015-10-06
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Marko Pušnik
2015-10-06
change password
Marko Pušnik
2015-10-05
Implemented systemd unit files to manage CodeQ daemons.
Aleš Smodiš
2015-10-05
Add the prolog runner to be used for daemonisation in init scripts.
Aleš Smodiš
2015-10-05
Update actions
Timotej Lazar
2015-10-05
Bind the node server to the localhost interface.
Aleš Smodiš
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-10-04
Improved exception tolerance, added logging to a file, removed old code, simp...
Aleš Smodiš
2015-10-03
Update and clean up installation instructions
Timotej Lazar
2015-10-01
Build script also produces the web resources tree.
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
[next]