index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
python
Age
Commit message (
Expand
)
Author
2015-10-14
Add support for command arguments to sandbox
Timotej Lazar
2015-10-10
Use a selector instead of polling Python interpreter
Timotej Lazar
2015-10-10
Sandbox: setgid before setuid
Timotej Lazar
2015-10-09
Added exception handling to get_tokens functions.
Martin
2015-10-08
Make the Python interpreter even more unbuffered
Timotej Lazar
2015-10-07
Add a sandbox for Python interpreter
Timotej Lazar
2015-10-06
Fixed a bug with function almost_equal.
Martin
2015-09-23
Only show ^C on interrupt if user code is running
Timotej Lazar
2015-09-23
Allow syscalls needed for help() in Python sandbox
Timotej Lazar
2015-09-22
Added basic handling of exception to util.py
Martin
2015-09-22
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-09-22
Add support for execing the user's Python program
Timotej Lazar
2015-09-21
Changed testing in util.py
Martin
2015-09-18
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-09-18
Added functions to util.py.
Martin
2015-09-16
Implement async. comm. with Python interpreter
Timotej Lazar
2015-09-15
Added utility functions to util.py
Martin
2015-09-03
Use multiprocessing.managers for the Python runner
Timotej Lazar
2015-08-31
Add a Python utility module
Timotej Lazar
2015-08-28
Change timeout result in python runner
Timotej Lazar
2015-08-28
Add support for creating Python interpreters
Timotej Lazar
2015-08-24
Simplify python.engine
Timotej Lazar
2015-08-21
Add a Python server for running users' code
Timotej Lazar