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
2017-02-27
Implement pattern-based hints (see AIED2017)
Timotej Lazar
2016-10-06
Python: add support for auxiliary code (like for Prolog)
Timotej Lazar
2016-09-27
Incorporate some tweaks to the monkey methods
Timotej Lazar
2016-09-22
Re-add support for disabling some hint types
Timotej Lazar
2016-05-22
Fix: store current solution when tests pass
Timotej Lazar
2016-04-24
Return info about experiments to the client
Timotej Lazar
2016-04-08
Revert "Experiment: prolog_hints"
Timotej Lazar
2016-03-16
PrologSession: remove unused attribute
Timotej Lazar
2016-03-12
prolog_session: check for generic hints after specific
Timotej Lazar
2016-03-01
Support experiments field for SAML logins
Timotej Lazar
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
[next]