summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2017-02-24Modify Prolog parser to produce ASTs instead of parse treesTimotej Lazar
2016-10-27Add support for pickles to trace viewerTimotej Lazar
2016-10-20Disable debug loggingTimotej Lazar
2016-10-20Revert "Week2: simpop/3 exercise added."Timotej Lazar
This reverts commit b2b11240ce7c9b6075a0f673cd72f469db75fa0f.
2016-10-17Week2: simpop/3 exercise added.Aleksander Sadikov
2016-10-06Python: add support for auxiliary code (like for Prolog)Timotej Lazar
2016-10-04build_web_resources: copy top-level style.cssTimotej Lazar
2016-09-27Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin Možina
2016-09-27Added ast related functions.Martin Možina
2016-09-27Incorporate some tweaks to the monkey methodsTimotej Lazar
2016-09-27Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin Možina
2016-09-27Added python util functions.Martin Možina
2016-09-22Re-add support for disabling some hint typesTimotej Lazar
Experiment descriptor to select allowed hint types is {'id': 'hints', 'group': 'none|automatic|manual|all'} and works for all languages.
2016-09-07Improve error handling in build_web_resourcesTimotej Lazar
2016-07-15Fix prolog runner for SWI-Prolog ≥ 7.3.22Timotej Lazar
2016-05-29Prolog runner: allow call/1 in sandboxed modeTimotej Lazar
Required by some exercises. This allows the user to escape the sandbox, so a better solution is needed.
2016-05-22Fix: store current solution when tests passTimotej Lazar
2016-05-22Add support for per-problem initial codeTimotej Lazar
2016-05-16Detect predicates used in DCG clausesTimotej Lazar
2016-05-15Support a | b notation for DCGsTimotej Lazar
2016-05-15Hack in support for DCGs in Prolog parserTimotej Lazar
2016-05-08Prolog: allow custom inference limit in check_answersTimotej Lazar
2016-05-08Prolog: support CLP(FD) in parserTimotej Lazar
2016-05-06Prolog: increase inference limit for test queriesTimotej Lazar
Needed for problems/clp_fd/tobase_3.
2016-05-06Prolog: increase inference limit for test queriesTimotej Lazar
Needed for problems/clp_fd/magic_1.
2016-04-24Support CLP(R) expressions in Prolog parserTimotej Lazar
2016-04-24Return info about experiments to the clientTimotej Lazar
2016-04-22Fix: previous commitTimotej Lazar
Oops.
2016-04-19Fix: correctly parse difflib.SequenceMatcher outputTimotej Lazar
2016-04-08Prolog: use A,B,C,… for normalized variable namesTimotej Lazar
This is somewhat more readable than A0,A1,A2,….
2016-04-08Remove unused prolog.util.normalizedTimotej Lazar
2016-04-08Fix monkey.test to match monkey.edits updatesTimotej Lazar
2016-04-08Revert "Experiment: prolog_hints"Timotej Lazar
This reverts commit 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615.
2016-04-07Always return a string in prolog.util.Token.__str__Timotej Lazar
2016-03-30Web: store session SAML data as soon as we get itTimotej Lazar
2016-03-17Improve build_web_resources.pyTimotej Lazar
2016-03-16PrologSession: remove unused attributeTimotej Lazar
2016-03-12Fix pengine regexTimotej Lazar
2016-03-12prolog_session: check for generic hints after specificTimotej Lazar
2016-03-03Remove unused variableTimotej Lazar
2016-03-02Improve hints returned by monkey.fix_hintsTimotej Lazar
2016-03-02Parse 'experiment' actionsTimotej Lazar
2016-03-01Support experiments field for SAML loginsTimotej Lazar
2016-02-29Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() ↵Aleksander Sadikov
function added.
2016-02-28Experiment: prolog_hintsTimotej Lazar
Given an experiment object read from codeq_user in the form {'id': 'prolog_hints', 'group': 'manual_hints'} selectively enable only manual hints, automatic hints, or no hints. This should probably be reverted once the experiment is done.
2016-02-28Add experiments column to codeq_userTimotej Lazar
This JSON column holds an array of experiment objects, for example: [{'id': 'prolog_hints', 'group': 'manual_hints'}]. To include users in an experiment, just add appropriate objects to their records. Not the cleanest design from the DB point of view, but enough for the single current use case.
2016-02-28Increase thread pool size for Prolog runnerTimotej Lazar
2016-02-25Simplify server.handlers.LoginTimotej Lazar
2016-02-25Destroy the pengine before creating a new oneTimotej Lazar
2016-02-25Update monkey.action parserTimotej Lazar