codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-09-29	added settings to the user session and the login function now also returns ↵	Robert Zorko
	those settings - currently only gui language is implemented. The create.sql script is updated for that change as well.
2015-08-31	s/Problem.identifier()/Problem.get_identifier()	Timotej Lazar

2015-08-27	Add some helper methods to db.models	Timotej Lazar

2015-08-24	Split the development into daemon and wsgi_server.	Aleš Smodiš
	Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.
2015-08-20	Add a data model for the problem table	Timotej Lazar

2015-08-20	Bugfix: database constraint problem.problem_uq2 referenced only identifier, ↵	Aleš Smodiš
	but it should reference the triplet (language_id, problem_group_id, identifier) instead.
2015-08-19	Adapted existing database entities to changes in the model. Excluded ↵	Aleš Smodiš
	database connection handling into __init__.py of the db package.
2015-08-19	New database tables and data imports: user_group, user_in_group, language, ↵	Aleš Smodiš
	problem_group, problem.
2015-08-13	Initial PostgreSQL data model: codeq_user and solution tables.	Aleš Smodiš
	Converted the action.py to use the new model.