Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-09-27 | Added ast related functions. | Martin Možina | |
2016-09-27 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin Možina | |
2016-09-27 | Added python util functions. | Martin Možina | |
2016-09-22 | Re-add support for disabling some hint types | Timotej Lazar | |
Experiment descriptor to select allowed hint types is {'id': 'hints', 'group': 'none|automatic|manual|all'} and works for all languages. | |||
2016-09-07 | Improve error handling in build_web_resources | Timotej Lazar | |
2016-07-15 | Fix prolog runner for SWI-Prolog ≥ 7.3.22 | Timotej Lazar | |
2016-05-29 | Prolog runner: allow call/1 in sandboxed mode | Timotej Lazar | |
Required by some exercises. This allows the user to escape the sandbox, so a better solution is needed. | |||
2016-05-22 | Fix: store current solution when tests pass | Timotej Lazar | |
2016-05-22 | Add support for per-problem initial code | Timotej Lazar | |
2016-05-16 | Detect predicates used in DCG clauses | Timotej Lazar | |
2016-05-15 | Support a | b notation for DCGs | Timotej Lazar | |
2016-05-15 | Hack in support for DCGs in Prolog parser | Timotej Lazar | |
2016-05-08 | Prolog: allow custom inference limit in check_answers | Timotej Lazar | |
2016-05-08 | Prolog: support CLP(FD) in parser | Timotej Lazar | |
2016-05-06 | Prolog: increase inference limit for test queries | Timotej Lazar | |
Needed for problems/clp_fd/tobase_3. | |||
2016-05-06 | Prolog: increase inference limit for test queries | Timotej Lazar | |
Needed for problems/clp_fd/magic_1. | |||
2016-04-24 | Support CLP(R) expressions in Prolog parser | Timotej Lazar | |
2016-04-24 | Return info about experiments to the client | Timotej Lazar | |
2016-04-22 | Fix: previous commit | Timotej Lazar | |
Oops. | |||
2016-04-19 | Fix: correctly parse difflib.SequenceMatcher output | Timotej Lazar | |
2016-04-08 | Prolog: use A,B,C,… for normalized variable names | Timotej Lazar | |
This is somewhat more readable than A0,A1,A2,…. | |||
2016-04-08 | Remove unused prolog.util.normalized | Timotej Lazar | |
2016-04-08 | Fix monkey.test to match monkey.edits updates | Timotej Lazar | |
2016-04-08 | Revert "Experiment: prolog_hints" | Timotej Lazar | |
This reverts commit 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615. | |||
2016-04-07 | Always return a string in prolog.util.Token.__str__ | Timotej Lazar | |
2016-03-30 | Web: store session SAML data as soon as we get it | Timotej Lazar | |
2016-03-17 | Improve build_web_resources.py | Timotej Lazar | |
2016-03-16 | PrologSession: remove unused attribute | Timotej Lazar | |
2016-03-12 | Fix pengine regex | Timotej Lazar | |
2016-03-12 | prolog_session: check for generic hints after specific | Timotej Lazar | |
2016-03-03 | Remove unused variable | Timotej Lazar | |
2016-03-02 | Improve hints returned by monkey.fix_hints | Timotej Lazar | |
2016-03-02 | Parse 'experiment' actions | Timotej Lazar | |
2016-03-01 | Support experiments field for SAML logins | Timotej Lazar | |
2016-02-29 | Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() ↵ | Aleksander Sadikov | |
function added. | |||
2016-02-28 | Experiment: prolog_hints | Timotej 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-28 | Add experiments column to codeq_user | Timotej 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-28 | Increase thread pool size for Prolog runner | Timotej Lazar | |
2016-02-25 | Simplify server.handlers.Login | Timotej Lazar | |
2016-02-25 | Destroy the pengine before creating a new one | Timotej Lazar | |
2016-02-25 | Update monkey.action parser | Timotej Lazar | |
2016-02-25 | Catch exceptions in server.handlers.Hint() | Timotej Lazar | |
Note: support for explicit Hint() requests will likely be removed. | |||
2016-02-25 | Add a get_solutions(problem_ids) API function | Timotej Lazar | |
It returns the user’s solutions to given problems. | |||
2016-02-24 | Merge hint function into test for {Prolog,Python}Session | Timotej Lazar | |
2016-02-23 | Remove obsolete HintSequence class | Timotej Lazar | |
2016-02-23 | Replace urllib3.ReadTimeoutException with socket.timeout | Timotej Lazar | |
To keep compatibility with existing test / hint functions. | |||
2016-02-23 | Prolog engine: allow lists predicates in sandbox | Timotej Lazar | |
2016-02-22 | Do not send language in test/hint commands | Timotej Lazar | |
2016-02-17 | Also remove --nosignals in the sysvinit script | Timotej Lazar | |
2016-02-17 | Remove --nosignals from the swipl command line | Timotej Lazar | |
Signals are needed for destroying pengines. |