summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-12-10Sort token list for Prolog parserTimotej Lazar
Ensures the cached version of parsetab.py is used.
2015-12-10Fix a parser bugTimotej Lazar
2015-12-10Add prolog.util.parse methodTimotej Lazar
2015-12-10Use the NLTK ParentedTree class for parser outputTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-12-09Improve robot remote-control scriptTimotej Lazar
2015-11-30Limit the number of inferences for Prolog queriesTimotej Lazar
2015-11-27Fix: response on /pengine/destroy_all is just "ok"Timotej Lazar
2015-11-18Disable predicate autoloading in Prolog engineTimotej Lazar
So that for example append/3 and member/2 are not accessible to users when solving conc/3 and memb/2.
2015-11-18Fix test code in prolog.engineTimotej Lazar
2015-11-18Handle Prolog engine exceptions in PrologSessionTimotej Lazar
2015-11-17Add optional style attribute for popup hintsTimotej Lazar
2015-11-11Add a script for interactively viewing tracesTimotej Lazar
2015-11-11Add migration script for codeq_user.gui_layoutTimotej Lazar
2015-11-09Missed "Shibboleth.sso" paths in init files.Aleš Smodiš
2015-11-09Change all remaining "Shibboleth.sso" paths to "saml".Aleš Smodiš
2015-11-09Bugfix: SAML login method did not return correct field for the e-mail.Aleš Smodiš
2015-11-06Fix SAML login: account upgrading is done via the email attribute, username ↵Aleš Smodiš
is eduPersonPrincipalName.
2015-11-05Add a script to generate HTML with problem descriptionTimotej Lazar
2015-11-04Use correct type for prolog_solve actionTimotej Lazar
2015-11-04Fix prolog.engine.check_answersTimotej Lazar
Variables not specified in the set of expected answers are now ignored.
2015-11-02Add support for upgrade an existing account to the SAML-type account in the ↵Aleš Smodiš
node web server.
2015-11-02Modified the python server to support SAML account merge/upgrade upon first ↵Aleš Smodiš
SAML-type login of an existing user.
2015-10-30Update db.models.CodeqUserTimotej Lazar
2015-10-30Use psycopg's builtin support for jsonb columnsTimotej Lazar
2015-10-21Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-10-21fix for the forgotten samlDataRobert Zorko
2015-10-21Adapt to the new SAML URLs, set ForceAuthn=true to always request ↵Aleš Smodiš
authentication from the user.
2015-10-21username added to login replayMarko Pušnik
2015-10-19Add method to return attempted/solved problems for given languageTimotej Lazar
2015-10-17Implemented init script for the SAML daemon, modified the refresh-and-deploy ↵Aleš Smodiš
script accordingly.
2015-10-17Added periodic timed out request cleaner to SAML daemon.Aleš Smodiš
2015-10-16Logging improvements in the SAML daemon.Aleš Smodiš
2015-10-16Record solved problems in databaseTimotej Lazar
2015-10-16added gui_layout to the settings of the userRobert Zorko
2015-10-15Server-side support for SAML logout, sessions are destroyed only using an ↵Aleš Smodiš
AJAX call.
2015-10-15Implemented python login using authenticated SAML credentials.Aleš Smodiš
2015-10-15Process user stats in Python instead of SQLTimotej Lazar
Since we ultimately want to include events from traces (hints, tests) in statistics, SQL will be insufficient.
2015-10-15Store identifiers instead of IDs in Problem modelTimotej Lazar
2015-10-15Implemented minimum support for authentication via SAML with an addition of ↵Aleš Smodiš
a new daemon. TODO: python login with SAML credentials.
2015-10-15Remove terminator instructions from readmeTimotej Lazar
2015-10-15Sort rows by language and group in Problem.listTimotej Lazar
2015-10-15Add missing commit() calls for DB connectionsTimotej Lazar
2015-10-14Use sandbox for testing Python programsTimotej 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-14Add support for command arguments to sandboxTimotej Lazar
2015-10-13Move monkey/monkey.py to monkey/__init__.pyTimotej Lazar
2015-10-13Remove unused code from monkey.actionTimotej Lazar
2015-10-13Update create.sql and add a migration scriptTimotej Lazar
2015-10-13Update Prolog actions in sqlite_to_pg.pyTimotej Lazar
2015-10-13Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko