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-21
Use SAML IDP at idp.uni-lj.si proxied through codeq.si.
Aleš Smodiš
2015-12-15
Implement client logs receiving service, which dumps the received logs from c...
Aleš Smodiš
2015-12-14
Improve robot control script
Timotej Lazar
2015-12-11
Only try monkey.fix if we have edits for this problem
Timotej Lazar
2015-12-11
Rename a function
Timotej Lazar
2015-12-11
Use a more general method for extracting edits
Timotej Lazar
2015-12-11
Add is_admin attribute to UserSession
Timotej Lazar
2015-12-11
Remove unused import
Timotej Lazar
2015-12-11
Return is_admin field on login
Timotej Lazar
2015-12-11
Remove a stray print statement
Timotej Lazar
2015-12-10
Add instructions for setting up the robot
Timotej Lazar
2015-12-10
Note the NLTK dependency in the readme
Timotej Lazar
2015-12-10
Remove unused monkey.action.compress
Timotej Lazar
2015-12-10
Remove trace-graph function from monkey.test
Timotej Lazar
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
[prev]
[next]