summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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 ↵Aleš Smodiš
clients.
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
This is a large overhaul of monkey code. Before, only edits within individual lines were tracked, which required a Prolog-specific method for splitting a program into a list of lines for every rule. In this version, modifications can be tracked within arbitrary code ranges. Ranges to be tracked are determined by selecting "interesting" subtrees in the AST of the starting code version. The new method is simpler, less language-dependent and easier to extend. The downside is that a program must be syntactically correct before we can attempt to fix it (the previous approach could handle programs with syntax errors in some cases). This commit also integrates a call to monkey.fix in prolog_session.hint, by running it if no other hint is found.
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
Ensures the cached version of parsetab.py is used.
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
So that for example append/3 and member/2 are not accessible to users when solving conc/3 and memb/2.
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 ↵Aleš Smodiš
is eduPersonPrincipalName.
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
Variables not specified in the set of expected answers are now ignored.
2015-11-02Add support for upgrade an existing account to the SAML-type account in the ↵Aleš Smodiš
node web server.
2015-11-02Modified the python server to support SAML account merge/upgrade upon first ↵Aleš Smodiš
SAML-type login of an existing user.
2015-10-30Update db.models.CodeqUserTimotej Lazar
2015-10-30Use psycopg's builtin support for jsonb columnsTimotej Lazar
2015-10-21Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-10-21fix for the forgotten samlDataRobert Zorko
2015-10-21Adapt to the new SAML URLs, set ForceAuthn=true to always request ↵Aleš Smodiš
authentication from the user.
2015-10-21username added to login replayMarko Pušnik