codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-11-18	Fix test code in prolog.engine	Timotej Lazar

2015-11-18	Handle Prolog engine exceptions in PrologSession	Timotej Lazar

2015-11-17	Add optional style attribute for popup hints	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-09	Change all remaining "Shibboleth.sso" paths to "saml".	Aleš Smodiš

2015-11-09	Bugfix: SAML login method did not return correct field for the e-mail.	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-11-04	Use correct type for prolog_solve action	Timotej Lazar

2015-11-04	Fix prolog.engine.check_answers	Timotej Lazar
	Variables not specified in the set of expected answers are now ignored.
2015-11-02	Add support for upgrade an existing account to the SAML-type account in the ↵	Aleš Smodiš
	node web server.
2015-11-02	Modified the python server to support SAML account merge/upgrade upon first ↵	Aleš Smodiš
	SAML-type login of an existing user.
2015-10-30	Update db.models.CodeqUser	Timotej Lazar

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

2015-10-21	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Robert Zorko

2015-10-21	fix for the forgotten samlData	Robert Zorko

2015-10-21	Adapt to the new SAML URLs, set ForceAuthn=true to always request ↵	Aleš Smodiš
	authentication from the user.
2015-10-21	username added to login replay	Marko Pušnik

2015-10-19	Add method to return attempted/solved problems for given language	Timotej Lazar

2015-10-17	Implemented init script for the SAML daemon, modified the refresh-and-deploy ↵	Aleš Smodiš
	script accordingly.
2015-10-17	Added periodic timed out request cleaner to SAML daemon.	Aleš Smodiš

2015-10-16	Logging improvements in the SAML daemon.	Aleš Smodiš

2015-10-16	Record solved problems in database	Timotej Lazar

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

2015-10-15	Server-side support for SAML logout, sessions are destroyed only using an ↵	Aleš Smodiš
	AJAX call.
2015-10-15	Implemented python login using authenticated SAML credentials.	Aleš Smodiš

2015-10-15	Process user stats in Python instead of SQL	Timotej Lazar
	Since we ultimately want to include events from traces (hints, tests) in statistics, SQL will be insufficient.
2015-10-15	Store identifiers instead of IDs in Problem model	Timotej Lazar

2015-10-15	Implemented minimum support for authentication via SAML with an addition of ↵	Aleš Smodiš
	a new daemon. TODO: python login with SAML credentials.
2015-10-15	Remove terminator instructions from readme	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-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-14	Add support for command arguments to sandbox	Timotej Lazar

2015-10-13	Move monkey/monkey.py to monkey/__init__.py	Timotej Lazar

2015-10-13	Remove unused code from monkey.action	Timotej Lazar

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-13	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Robert Zorko

2015-10-13	slight changes to the logout functionality, so it won't request a reset anymore	Robert Zorko

2015-10-13	Fix: add a missing comma	Timotej Lazar

2015-10-13	Use identifiers instead of names in get_stat	Timotej Lazar
	Names have been removed from the database. This code will be updated when we decide what statistics to present to the user.
2015-10-13	Add the websocket server for the robot	Timotej Lazar

2015-10-13	Store robot's address in settings	Timotej Lazar

2015-10-12	Rename lang setting to gui_lang	Timotej Lazar

2015-10-12	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Marko Pušnik

2015-10-12	get basic user statistics	Marko Pušnik

2015-10-12	Add the express web framework to the node server.	Aleš Smodiš