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-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
2015-09-23
Allow syscalls needed for help() in Python sandbox
Timotej Lazar
2015-09-22
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-09-22
Added basic handling of exception to util.py
Martin
2015-09-22
Add Node.subtrees and Node.leaves functions
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
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-09-18
Added functions to util.py.
Martin
2015-09-18
Simplify exceptions returned by PythonSession.run
Timotej Lazar
2015-09-17
Replace prolog.engine.ask_all with check_answers
Timotej Lazar
2015-09-16
Update readme
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
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Aleš Smodiš
2015-09-15
Bugfix: invert the packet length comparison in the TCP packet decode loop.
Aleš Smodiš
2015-09-15
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin
2015-09-15
Added utility functions to util.py
Martin
2015-09-15
Removed WSGI parts. They've been supplanted with the node app and the TCP com...
Aleš Smodiš
[next]