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-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
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
* Bugfix: always do cur.fetchone() on new iteration.
Aleš Smodiš
2015-09-29
Add HintPopup and set hint_type on Hint* classes
Timotej Lazar
2015-09-24
Update monkey.test.test for new testing functions
Timotej Lazar
2015-09-24
Remove trailing . from historical Prolog queries
Timotej Lazar
2015-09-24
Create WEB_OUTPUT directory if it doesn't exist
Timotej Lazar
2015-09-24
Updated the readme: scripts/build_web_resources.py must be run before running...
Aleš Smodiš
2015-09-24
Update JSON build script: include problem name translations with language ind...
Aleš Smodiš
2015-09-23
Implemented the script to build static JSON data for problem definitions.
Aleš Smodiš
2015-09-23
Kill Python interpreter on excessive output
Timotej Lazar
2015-09-23
Only show ^C on interrupt if user code is running
Timotej Lazar
[prev]
[next]