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-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š
2015-09-15
Augmented the readme with apache directives for proxying websocket directives.
Aleš Smodiš
2015-09-14
Fix two bugs in chunk-parsing code in main.js
Timotej Lazar
2015-09-14
Add SID to JSON object in UserSession.send
Timotej Lazar
2015-09-14
Correct proxy path in readme
Timotej Lazar
2015-09-14
Reimplemented communication with the client side.
Aleš Smodiš
2015-09-14
Script for adding problems to DB, update readme
Timotej Lazar
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
2015-09-11
s/hint_defs/hint_type/g
Timotej Lazar
2015-09-10
Remove unneeded import
Timotej Lazar
[prev]
[next]