| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-02-27 | Implement pattern-based hints (see AIED2017) | Timotej Lazar | |
| 2016-09-27 | Incorporate some tweaks to the monkey methods | Timotej Lazar | |
| 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-05-22 | Fix: store current solution when tests pass | Timotej Lazar | |
| 2016-04-08 | Revert "Experiment: prolog_hints" | Timotej Lazar | |
| This reverts commit 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615. | |||
| 2016-03-16 | PrologSession: remove unused attribute | Timotej Lazar | |
| 2016-03-12 | prolog_session: check for generic hints after specific | Timotej Lazar | |
| 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-25 | Destroy the pengine before creating a new one | Timotej Lazar | |
| 2016-02-24 | Merge hint function into test for {Prolog,Python}Session | Timotej Lazar | |
| 2016-02-09 | Decrease timeout for Monkey hints to 3 s | Timotej Lazar | |
| 2016-01-12 | Get number of passed/total tests from Prolog test functions | Timotej Lazar | |
| 2016-01-05 | Factor common code out of PrologSession.{hint,run_for_user} | Timotej Lazar | |
| 2016-01-05 | PrologSession: only add definitions of predicates that appear in program ↵ | Timotej Lazar | |
| when testing | |||
| 2015-12-23 | Prolog: pass aux. code to problem's test function | Timotej Lazar | |
| This allows us to simplify individual problem test functions. | |||
| 2015-12-11 | Only try monkey.fix if we have edits for this problem | Timotej Lazar | |
| 2015-12-11 | Use a more general method for extracting edits | Timotej 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-10 | Add copyright info | Timotej Lazar | |
| 2015-11-18 | Handle Prolog engine exceptions in PrologSession | Timotej Lazar | |
| 2015-10-16 | Record solved problems in database | Timotej Lazar | |
| 2015-10-15 | Store identifiers instead of IDs in Problem model | Timotej Lazar | |
| 2015-10-06 | Test user's program before looking for hints | Timotej Lazar | |
| 2015-10-04 | Unification of language session implementations. Added load_problem and ↵ | Aleš Smodiš | |
| end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen. | |||
| 2015-09-22 | Oops, overzealous copy/paste | Timotej Lazar | |
| 2015-09-22 | Create the hint-list in individual test functions | Timotej Lazar | |
| This will allow us to add more hints, for example "did you know?"-type information when the program is correct. | |||
| 2015-09-11 | Pass a list of solved problems to Prolog hint/test | Timotej Lazar | |
| This replaces the session parameter that was passed before but not used. Especially in the hint functions it will be useful in some cases to handle user's current code, previous solutions, and the facts library separately. | |||
| 2015-09-11 | s/hint_defs/hint_type/g | Timotej Lazar | |
| 2015-09-10 | Add Hint classes for normal and sequence hints | Timotej Lazar | |
| 2015-09-03 | Pass the session object to test and hint functions | Timotej Lazar | |
| 2015-08-31 | s/Problem.identifier()/Problem.get_identifier() | Timotej Lazar | |
| 2015-08-28 | Handle test results as a static hint | Timotej Lazar | |
| 2015-08-28 | Add a hint service for Prolog | Timotej Lazar | |
| 2015-08-28 | Destroy the Prolog engine when ending a query | Timotej Lazar | |
| 2015-08-27 | Remove unneeded import | Timotej Lazar | |
| 2015-08-27 | Add test service to wsgi_server | Timotej Lazar | |
| This calls the test function defined in common.py for the given problem. | |||
| 2015-08-27 | Replace prolog.engine.run with ask_all | Timotej Lazar | |
| Creating and destroying the pengine should be handled somewhere else. This commit also removes query functionality from prolog.engine.create. | |||
| 2015-08-26 | Implemented activity service (auto-saving of traces and solutions). | Aleš Smodiš | |
| 2015-08-25 | Wait with updating solutions until the code is done. | Aleš Smodiš | |
| 2015-08-25 | Work on handling activity trace. | Aleš Smodiš | |
| 2015-08-25 | Implemented methods to fetch a list of available problems and the problem ↵ | Aleš Smodiš | |
| description. JavaScript no longer parses pythonic problem descriptions, instead they are loaded by server and JSONized. | |||
| 2015-08-24 | Split the development into daemon and wsgi_server. | Aleš Smodiš | |
| Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server. | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |