codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2016-10-04	build_web_resources: copy top-level style.css	Timotej Lazar

2016-09-07	Improve error handling in build_web_resources	Timotej Lazar

2016-05-22	Add support for per-problem initial code	Timotej Lazar

2016-03-17	Improve build_web_resources.py	Timotej Lazar

2015-12-10	Add copyright info	Timotej Lazar

2015-10-12	Drop name column from language/group/problem tables	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-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š