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
2016-01-11
For each edit remember the user ids where it was seen
Timotej Lazar
2016-01-10
Add each edit at most once per solution
Timotej Lazar
2016-01-10
Avoid a potential division by zero
Timotej Lazar
2016-01-06
Update and fix monkey.test
Timotej Lazar
2016-01-06
Remove unused imports
Timotej Lazar
2016-01-06
Remove unused monkey.graph (replaced by nltk.Tree)
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
2016-01-05
monkey.edits: cache test results
Timotej Lazar
2016-01-05
monkey.edits: only add solutions to predicates that are actually used when te...
Timotej Lazar
2016-01-05
Add db.util.make_identifier function
Timotej Lazar
2016-01-04
Add function to find predicates used by a Prolog program
Timotej Lazar
2016-01-04
Fix: use correct action types in monkey.edits
Timotej Lazar
2015-12-23
Prolog: pass aux. code to problem's test function
Timotej Lazar
2015-12-22
Fix off-by-one when extracting edits
Timotej Lazar
2015-12-22
Remove a stray "pass"
Timotej Lazar
2015-12-21
Support all action types in monkey.action
Timotej Lazar
2015-12-21
Fix printing edits in monkey.test
Timotej Lazar
2015-12-21
Merge branch 'release'
Aleš Smodiš
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š
[prev]
[next]