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-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
2015-09-22
Oops, overzealous copy/paste
Timotej Lazar
2015-09-22
Create the hint-list in individual test functions
Timotej Lazar
2015-09-22
Add support for execing the user's Python program
Timotej Lazar
2015-09-21
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-09-21
Changed testing in util.py
Martin
2015-09-18
Set problems path via CODEQ_PROBLEMS environment variable.
Aleš Smodiš
2015-09-18
added a parameter to the get problems python function, which accepts the lang...
Robert Zorko
2015-09-18
Send the plan definition in get_problem_data
Timotej Lazar
2015-09-18
Simplify exceptions returned by PythonSession.run
Timotej Lazar
2015-09-16
Implement async. comm. with Python interpreter
Timotej Lazar
2015-09-15
Add handlers for python_{push,pull} requests
Timotej Lazar
2015-09-15
Bugfix: invert the packet length comparison in the TCP packet decode loop.
Aleš Smodiš
2015-09-15
Removed WSGI parts. They've been supplanted with the node app and the TCP com...
Aleš Smodiš
2015-09-15
Augmented the readme with apache directives for proxying websocket directives.
Aleš Smodiš
2015-09-14
Add SID to JSON object in UserSession.send
Timotej Lazar
2015-09-14
Reimplemented communication with the client side.
Aleš Smodiš
2015-09-11
Pass a list of solved problems to Prolog hint/test
Timotej Lazar
2015-09-11
Pass PythonSession.run to hint and test functions
Timotej Lazar
2015-09-11
Use Hint classes in PythonSession
Timotej Lazar
[next]