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-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
2015-09-11
s/hint_defs/hint_type/g
Timotej Lazar
2015-09-10
Remove unneeded import
Timotej Lazar
2015-09-10
Add Hint classes for normal and sequence hints
Timotej Lazar
2015-09-08
Check for syntax errors in python_session.hint
Timotej Lazar
2015-09-04
Add Python push&pull services to wsgi_server
Timotej Lazar
2015-09-03
Pass the session object to test and hint functions
Timotej Lazar
2015-09-03
Use multiprocessing.managers for the Python runner
Timotej Lazar
2015-09-01
Change hard-coded language to Slovene for testing
Timotej Lazar
2015-09-01
Add Python support to wsgi_server.{Hint,Test}
Timotej Lazar
2015-08-31
Return problems for all languages in list_problems
Timotej Lazar
2015-08-31
s/Problem.identifier()/Problem.get_identifier()
Timotej Lazar
2015-08-31
Add hint & test functions for PythonSession
Timotej Lazar
2015-08-30
Path (for loading modules) now usable also on Windows.
Aleksander Sadikov
2015-08-28
Handle test results as a static hint
Timotej Lazar
2015-08-28
Add a hint service for Prolog
Timotej Lazar
2015-08-28
Fix SQL in UserSession.update_solution
Timotej Lazar
2015-08-28
Add Python session support
Timotej Lazar
2015-08-28
Destroy the Prolog engine when ending a query
Timotej Lazar
2015-08-27
Remove unneeded import
Timotej Lazar
2015-08-27
Fix a typo
Timotej Lazar
2015-08-27
Add test service to wsgi_server
Timotej Lazar
2015-08-27
Replace prolog.engine.run with ask_all
Timotej Lazar
2015-08-26
Implemented activity service (auto-saving of traces and solutions).
Aleš Smodiš
2015-08-26
Do not include facts when loading Prolog solutions
Timotej Lazar
2015-08-25
Wait with updating solutions until the code is done.
Aleš Smodiš
2015-08-25
Work on handling activity trace.
Aleš Smodiš
2015-08-25
Implemented methods to fetch a list of available problems and the problem des...
Aleš Smodiš
2015-08-25
Fix a typo.
Aleš Smodiš
2015-08-24
Split the development into daemon and wsgi_server.
Aleš Smodiš
[prev]