index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
server
Age
Commit message (
Expand
)
Author
2016-02-28
Experiment: prolog_hints
Timotej Lazar
2016-02-28
Add experiments column to codeq_user
Timotej Lazar
2016-02-25
Simplify server.handlers.Login
Timotej Lazar
2016-02-25
Destroy the pengine before creating a new one
Timotej Lazar
2016-02-25
Catch exceptions in server.handlers.Hint()
Timotej Lazar
2016-02-25
Add a get_solutions(problem_ids) API function
Timotej Lazar
2016-02-24
Merge hint function into test for {Prolog,Python}Session
Timotej Lazar
2016-02-23
Remove obsolete HintSequence class
Timotej Lazar
2016-02-22
Do not send language in test/hint commands
Timotej Lazar
2016-02-09
Decrease timeout for Monkey hints to 3 s
Timotej Lazar
2016-01-12
Get number of passed/total tests from Prolog test functions
Timotej Lazar
2016-01-05
Factor common code out of PrologSession.{hint,run_for_user}
Timotej Lazar
2016-01-05
PrologSession: only add definitions of predicates that appear in program when...
Timotej Lazar
2015-12-23
Prolog: pass aux. code to problem's test function
Timotej Lazar
2015-12-11
Only try monkey.fix if we have edits for this problem
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-10
Add copyright info
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-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-02
Modified the python server to support SAML account merge/upgrade upon first S...
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-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-14
Use sandbox for testing Python programs
Timotej Lazar
2015-10-13
Use identifiers instead of names in get_stat
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
get basic user statistics
Marko Pušnik
2015-10-12
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Marko Pušnik
2015-10-12
attributes for profile page
Marko Pušnik
2015-10-12
Remove unused server.problems.list_problems
Timotej Lazar
2015-10-12
signup: +name +email
Marko Pušnik
2015-10-10
Use a selector instead of polling Python interpreter
Timotej Lazar
2015-10-08
Reworked session handling.
Aleš Smodiš
2015-10-07
Bugfix: make the as yet unimplemented meta protocol not generate errors on th...
Aleš Smodiš
2015-10-07
Add a sandbox for Python interpreter
Timotej Lazar
2015-10-06
Test user's program before looking for hints
Timotej Lazar
2015-10-06
Bugfix: revert to request.session.update_settings() in the Settings class.
Aleš Smodiš
2015-10-06
sign up, update last_login
Marko Pušnik
[next]