summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-01-05PrologSession: only add definitions of predicates that appear in program ↵Timotej Lazar
when testing
2016-01-05monkey.edits: cache test resultsTimotej Lazar
2016-01-05monkey.edits: only add solutions to predicates that are actually used when ↵Timotej Lazar
testing
2016-01-05Add db.util.make_identifier functionTimotej Lazar
Does the same as scripts.utils.filenamefy.
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
This allows us to simplify individual problem test functions.
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.