codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2016-02-17	Remove --nosignals from the swipl command line	Timotej Lazar
	Signals are needed for destroying pengines.
2016-02-11	Update systemd unit files and add codeq.target	Timotej Lazar
	For some reason, codeq-web should be started after codeq-web.
2015-12-10	Add copyright info	Timotej Lazar

2015-11-11	Add a script for interactively viewing traces	Timotej Lazar

2015-11-11	Add migration script for codeq_user.gui_layout	Timotej Lazar

2015-11-09	Missed "Shibboleth.sso" paths in init files.	Aleš Smodiš

2015-11-06	Fix SAML login: account upgrading is done via the email attribute, username ↵	Aleš Smodiš
	is eduPersonPrincipalName.
2015-11-05	Add a script to generate HTML with problem description	Timotej Lazar

2015-10-17	Implemented init script for the SAML daemon, modified the refresh-and-deploy ↵	Aleš Smodiš
	script accordingly.
2015-10-15	Implemented python login using authenticated SAML credentials.	Aleš Smodiš

2015-10-14	Use sandbox for testing Python programs	Timotej Lazar
	Use interpreter.py for running tests as well as interactive sessions. Signals are now sent with "sandbox <user> kill", so terminator is not needed anymore.
2015-10-13	Update create.sql and add a migration script	Timotej Lazar

2015-10-13	Update Prolog actions in sqlite_to_pg.py	Timotej Lazar

2015-10-12	Drop name column from language/group/problem tables	Timotej Lazar

2015-10-12	Drop is_visible column from problem table	Timotej Lazar

2015-10-10	Rebuild sandbox binaries when deploying	Timotej Lazar

2015-10-08	Get problems from files in build_web_resources	Timotej Lazar
	The script now gets the list of languages, groups and problems from the filesystem and inserts missing IDs in the database.
2015-10-08	Bugfix refresh-deploy script: use = instead of == to test for equality.	Aleš Smodiš

2015-10-07	Implemented the refresh-and-deploy shell script.	Aleš Smodiš

2015-10-07	Add init scripts for sysvinit.	Aleš Smodiš

2015-10-05	Implemented systemd unit files to manage CodeQ daemons.	Aleš Smodiš

2015-10-01	Build script also produces the web resources tree.	Aleš Smodiš

2015-09-29	* Bugfix: always do cur.fetchone() on new iteration.	Aleš Smodiš
	* Implemented ordering of problem groups and problems. * Added hint types based on hint definitions from common.py files.
2015-09-24	Create WEB_OUTPUT directory if it doesn't exist	Timotej Lazar

2015-09-24	Update JSON build script: include problem name translations with language ↵	Aleš Smodiš
	index data.
2015-09-23	Implemented the script to build static JSON data for problem definitions.	Aleš Smodiš

2015-09-14	Script for adding problems to DB, update readme	Timotej Lazar

2015-08-19	New database tables and data imports: user_group, user_in_group, language, ↵	Aleš Smodiš
	problem_group, problem.