codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2016-01-05	monkey.edits: only add solutions to predicates that are actually used when ↵	Timotej Lazar
	testing
2016-01-05	Add db.util.make_identifier function	Timotej Lazar
	Does the same as scripts.utils.filenamefy.
2015-12-10	Add copyright info	Timotej Lazar

2015-10-30	Update db.models.CodeqUser	Timotej Lazar

2015-10-30	Use psycopg's builtin support for jsonb columns	Timotej Lazar

2015-10-16	added gui_layout to the settings of the user	Robert Zorko

2015-10-15	Store identifiers instead of IDs in Problem model	Timotej Lazar

2015-10-15	Sort rows by language and group in Problem.list	Timotej Lazar

2015-10-15	Add missing commit() calls for DB connections	Timotej Lazar

2015-10-13	Update create.sql and add a migration script	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-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.