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
/
problems.py
Age
Commit message (
Expand
)
Author
2015-12-10
Add copyright info
Timotej Lazar
2015-10-15
Process user stats in Python instead of SQL
Timotej Lazar
2015-10-12
Remove unused server.problems.list_problems
Timotej Lazar
2015-10-05
Add logging to file to python server. Configure logfile paths from environmen...
Aleš Smodiš
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-14
Reimplemented communication with the client side.
Aleš Smodiš
2015-08-31
Return problems for all languages in list_problems
Timotej Lazar
2015-08-30
Path (for loading modules) now usable also on Windows.
Aleksander Sadikov
2015-08-28
Add a hint service for Prolog
Timotej Lazar
2015-08-26
Do not include facts when loading Prolog solutions
Timotej Lazar
2015-08-25
Implemented methods to fetch a list of available problems and the problem des...
Aleš Smodiš
2015-08-24
Split the development into daemon and wsgi_server.
Aleš Smodiš