summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-10-12Update sandbox for updated SWI-PrologHEADreleasemasterTimotej Lazar
2017-02-28monkey.rules: give intent hints only when at least two patterns matchTimotej Lazar
2017-02-27monkey.rules: only report the first unknown patternTimotej Lazar
2017-02-27Implement pattern-based hints (see AIED2017)Timotej Lazar
2017-02-24prolog.parser: implement most remaining operatorsTimotej Lazar
Also fix some precedence issues.
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.