codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2015-10-30	Use psycopg's builtin support for jsonb columns	Timotej Lazar
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