index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
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
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
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 i...
Aleš Smodiš
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
2015-11-02
Add support for upgrade an existing account to the SAML-type account in the n...
Aleš Smodiš
2015-11-02
Modified the python server to support SAML account merge/upgrade upon first S...
Aleš Smodiš
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 authenticat...
Aleš Smodiš
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š
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 AJA...
Aleš Smodiš
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
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 a...
Aleš Smodiš
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
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
[prev]
[next]