codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2016-01-05	monkey.edits: only add solutions to predicates that are actually used when te...	Timotej Lazar
2016-01-05	Add db.util.make_identifier function	Timotej Lazar
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 th...	Robert Zorko
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š
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, b...	Aleš Smodiš
2015-08-19	Adapted existing database entities to changes in the model. Excluded database...	Aleš Smodiš
2015-08-19	New database tables and data imports: user_group, user_in_group, language, pr...	Aleš Smodiš
2015-08-13	Initial PostgreSQL data model: codeq_user and solution tables.	Aleš Smodiš