codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-12-10	Support Tree objects in python.util.stringify	Timotej Lazar

2015-12-10	Disable debug info when generating Prolog parser	Timotej Lazar

2015-12-10	Sort token list for Prolog parser	Timotej Lazar
	Ensures the cached version of parsetab.py is used.
2015-12-10	Fix a parser bug	Timotej Lazar

2015-12-10	Add prolog.util.parse method	Timotej Lazar

2015-12-10	Use the NLTK ParentedTree class for parser output	Timotej Lazar

2015-12-10	Add copyright info	Timotej Lazar

2015-12-09	Improve robot remote-control script	Timotej Lazar

2015-11-30	Limit the number of inferences for Prolog queries	Timotej Lazar

2015-11-27	Fix: response on /pengine/destroy_all is just "ok"	Timotej Lazar

2015-11-18	Disable predicate autoloading in Prolog engine	Timotej Lazar
	So that for example append/3 and member/2 are not accessible to users when solving conc/3 and memb/2.
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