| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-08-11 | Reorder functions in PrologEngine | Timotej Lazar | |
| Place functions for internal use at the end. | |||
| 2015-08-11 | Use abolish/1 instead of erase/1 to remove clauses | Timotej Lazar | |
| Using erase/1 keeps the dynamic property for all defined predicates in the testing module. This overrides the clauses in solution modules. For example, if the user defines conc/3 in the solution for the dup/2 problem, the correct conc/3 would not get used even after unloading all user's clauses. This commit also plugs a couple of memory leaks by opening (and later discarding) a new Prolog frame in functions test, load_solution and mark_solved. | |||
| 2015-08-11 | Improve handling of Prolog exceptions | Timotej Lazar | |
| 2015-08-11 | PrologEngine: disable autoload | Timotej Lazar | |
| Turns out unix:dup/2 exists and is autoloaded if the student solution for dup/2 does not contain the predicate with this name; this can mess up subsequent tests. | |||
| 2015-08-11 | Load prolog/lib.pl during PrologEngine init | Timotej Lazar | |
| This is always required for the safe_goal/1 predicate. | |||
| 2015-08-11 | Add a test to prolog.engine and clean up a bit | Timotej Lazar | |
| 2015-08-11 | Remember correct answers to test queries | Timotej Lazar | |
| 2015-08-11 | Start refactoring testing code | Timotej Lazar | |
| Testing logic now lives in PrologEngine. The engine now has some notion of problems and users, which is necessary to avoid repeatedly loading code into Prolog. TODO: - support library loading - fix PrologEngine.test for unusual cases (more than one solution, …) - memoization of correct answers | |||
| 2015-08-11 | Mark random and random_between as safe goals | Timotej Lazar | |
| Required for exercise 25 (genlist). | |||
| 2015-08-11 | Keep token positions when lexing | Timotej Lazar | |
| This will allow us to match line edits to original source locations. | |||
| 2015-08-11 | Simplify prolog.util.map_vars | Timotej Lazar | |
| Return a single mapping instead of generating all possible permutations. Only the first solution was used anyway, with little effect on found solutions. | |||
| 2015-08-11 | Add some ad-hoc test code to prolog/util.py | Timotej Lazar | |
| 2015-08-11 | Rework prolog query engine | Timotej Lazar | |
| Use exceptions to report errors. Used in the server branch. | |||
| 2015-08-11 | Clean up prolog.engine | Timotej Lazar | |
| Use findnsols/4 to allow limiting the number of solutions found by prolog.engine.query. Add a basic test case to prolog.engine. | |||
| 2015-08-11 | Add PL_clear_exception to prolog/core.py | Timotej Lazar | |
| 2015-08-11 | mv prolog/sandbox.pl prolog/lib.pl | Timotej Lazar | |
| 2015-08-11 | Cleanups in monkey.py | Timotej Lazar | |
| 2015-08-11 | Lexer: increase priority for t_comment | Timotej Lazar | |
| Multiline comments were not lexed correctly because /* was interpreted as an operator. | |||
| 2015-08-11 | Move PQueue and utility functions into util.py | Timotej Lazar | |
| 2015-08-11 | Use immutable values in queue | Timotej Lazar | |
| 2015-08-11 | Remove unnecessary check from prolog.util.compose | Timotej Lazar | |
| 2015-08-11 | Fix two bugs in prolog.util.decompose | Timotej Lazar | |
| 2015-08-11 | Add call(predicate, arguments) to PrologEngine | Timotej Lazar | |
| Also disable error messages printed by swipl library. | |||
| 2015-08-11 | Optimize prolog.util.stringify (~15% faster) | Timotej Lazar | |
| 2015-08-11 | Improve testing procedure | Timotej Lazar | |
| - only run queries with correct code once - use msort/2 to implement quicksort/3, used for some tests - correctly split programs in the presence of =.. operator | |||
| 2015-08-11 | Cleanups | Timotej Lazar | |
| 2015-08-11 | Some cleanups in main program | Timotej Lazar | |
| 2015-08-11 | Initial commit for pymonkey | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |