summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-01-05Factor common code out of PrologSession.{hint,run_for_user}Timotej Lazar
2016-01-05PrologSession: only add definitions of predicates that appear in program when...Timotej Lazar
2016-01-05monkey.edits: cache test resultsTimotej Lazar
2016-01-05monkey.edits: only add solutions to predicates that are actually used when te...Timotej Lazar
2016-01-05Add db.util.make_identifier functionTimotej Lazar
2016-01-04Add function to find predicates used by a Prolog programTimotej Lazar
2016-01-04Fix: use correct action types in monkey.editsTimotej Lazar
2015-12-23Prolog: pass aux. code to problem's test functionTimotej Lazar
2015-12-22Fix off-by-one when extracting editsTimotej Lazar
2015-12-22Remove a stray "pass"Timotej Lazar
2015-12-21Support all action types in monkey.actionTimotej Lazar
2015-12-21Fix printing edits in monkey.testTimotej Lazar
2015-12-21Merge branch 'release'Aleš Smodiš
2015-12-21Use SAML IDP at idp.uni-lj.si proxied through codeq.si.Aleš Smodiš
2015-12-15Implement client logs receiving service, which dumps the received logs from c...Aleš Smodiš
2015-12-14Improve robot control scriptTimotej Lazar
2015-12-11Only try monkey.fix if we have edits for this problemTimotej Lazar
2015-12-11Rename a functionTimotej Lazar
2015-12-11Use a more general method for extracting editsTimotej Lazar
2015-12-11Add is_admin attribute to UserSessionTimotej Lazar
2015-12-11Remove unused importTimotej Lazar
2015-12-11Return is_admin field on loginTimotej Lazar
2015-12-11Remove a stray print statementTimotej Lazar
2015-12-10Add instructions for setting up the robotTimotej Lazar
2015-12-10Note the NLTK dependency in the readmeTimotej Lazar
2015-12-10Remove unused monkey.action.compressTimotej Lazar
2015-12-10Remove trace-graph function from monkey.testTimotej Lazar
2015-12-10Support Tree objects in python.util.stringifyTimotej Lazar
2015-12-10Disable debug info when generating Prolog parserTimotej Lazar
2015-12-10Sort token list for Prolog parserTimotej Lazar
2015-12-10Fix a parser bugTimotej Lazar
2015-12-10Add prolog.util.parse methodTimotej Lazar
2015-12-10Use the NLTK ParentedTree class for parser outputTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-12-09Improve robot remote-control scriptTimotej Lazar
2015-11-30Limit the number of inferences for Prolog queriesTimotej Lazar
2015-11-27Fix: response on /pengine/destroy_all is just "ok"Timotej Lazar
2015-11-18Disable predicate autoloading in Prolog engineTimotej Lazar
2015-11-18Fix test code in prolog.engineTimotej Lazar
2015-11-18Handle Prolog engine exceptions in PrologSessionTimotej Lazar
2015-11-17Add optional style attribute for popup hintsTimotej Lazar
2015-11-11Add a script for interactively viewing tracesTimotej Lazar
2015-11-11Add migration script for codeq_user.gui_layoutTimotej Lazar
2015-11-09Missed "Shibboleth.sso" paths in init files.Aleš Smodiš
2015-11-09Change all remaining "Shibboleth.sso" paths to "saml".Aleš Smodiš
2015-11-09Bugfix: SAML login method did not return correct field for the e-mail.Aleš Smodiš
2015-11-06Fix SAML login: account upgrading is done via the email attribute, username i...Aleš Smodiš
2015-11-05Add a script to generate HTML with problem descriptionTimotej Lazar
2015-11-04Use correct type for prolog_solve actionTimotej Lazar
2015-11-04Fix prolog.engine.check_answersTimotej Lazar