index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
readme.md
Age
Commit message (
Expand
)
Author
2015-10-15
Remove terminator instructions from readme
Timotej Lazar
2015-10-13
Update Prolog actions in sqlite_to_pg.py
Timotej Lazar
2015-10-08
Get problems from files in build_web_resources
Timotej Lazar
2015-10-07
Fix a typo
Timotej Lazar
2015-10-07
Add a sandbox for Python interpreter
Timotej Lazar
2015-10-05
Update actions
Timotej Lazar
2015-10-03
Update and clean up installation instructions
Timotej Lazar
2015-09-24
Updated the readme: scripts/build_web_resources.py must be run before running...
Aleš Smodiš
2015-09-18
Set problems path via CODEQ_PROBLEMS environment variable.
Aleš Smodiš
2015-09-16
Update readme
Timotej Lazar
2015-09-16
Implement async. comm. with Python interpreter
Timotej Lazar
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
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