Age | Commit message (Expand) | Author |
2015-08-11 | Print 'true' on success with no bindings | Timotej Lazar |
2015-08-11 | Disable parser generation | Timotej Lazar |
2015-08-11 | Improve error & warning reporting | Timotej Lazar |
2015-08-11 | Use json-html format for Prolog replies | Timotej Lazar |
2015-08-11 | Merge prolog.engine.create{,_and_ask} functions | Timotej Lazar |
2015-08-11 | Remove app-specific code from prolog.engine | Timotej Lazar |
2015-08-11 | Specify timeout when generating test cases | Timotej Lazar |
2015-08-11 | Silence warnings from ply.lex.lex() | Timotej Lazar |
2015-08-11 | Use Node class from monkey.util in parser | Timotej Lazar |
2015-08-11 | Add a parser for (simplified) Prolog | Timotej Lazar |
2015-08-11 | Always lex , as COMMA, never as NAME | Timotej Lazar |
2015-08-11 | Remove unused function from prolog.util | Timotej Lazar |
2015-08-11 | Print a random failing test for incorrect solution | Timotej Lazar |
2015-08-11 | prolog.engine: use .get() to access reply | Timotej Lazar |
2015-08-11 | Annotate tokens instead of splitting program | Timotej Lazar |
2015-08-11 | Simplify calls to prolog.util.map_vars | Timotej Lazar |
2015-08-11 | Move normalize to prolog.util | Timotej Lazar |
2015-08-11 | Clean up prolog.util.decompose | Timotej Lazar |
2015-08-11 | Remove all trailing punctuation from lines | Timotej Lazar |
2015-08-11 | Move monkey.prolog to root module | Timotej Lazar |
2015-08-11 | Move pymonkey stuff to monkey/ | Timotej Lazar |
2015-08-11 | Add prolog.engine.test | Timotej Lazar |
2015-08-11 | Improve error handling in PrologEngine | Timotej Lazar |
2015-08-11 | Delegate testing to a Prolog server | Timotej Lazar |
2015-08-11 | PrologEngine: add load/unload functions | Timotej Lazar |
2015-08-11 | Store test cases in PrologEngine | Timotej Lazar |
2015-08-11 | Add support for per-problem fact libraries | Timotej Lazar |
2015-08-11 | Quote predicate name for abolish/1 | Timotej Lazar |
2015-08-11 | Improve testing procedure | Timotej Lazar |
2015-08-11 | Term.__iter__: create new Terms on each iteration | Timotej Lazar |
2015-08-11 | Mark solution predicates as static after loading | Timotej Lazar |
2015-08-11 | Reorder functions in PrologEngine | Timotej Lazar |
2015-08-11 | Use abolish/1 instead of erase/1 to remove clauses | Timotej Lazar |
2015-08-11 | Improve handling of Prolog exceptions | Timotej Lazar |
2015-08-11 | PrologEngine: disable autoload | Timotej Lazar |
2015-08-11 | Load prolog/lib.pl during PrologEngine init | Timotej Lazar |
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 |
2015-08-11 | Mark random and random_between as safe goals | Timotej Lazar |
2015-08-11 | Keep token positions when lexing | Timotej Lazar |
2015-08-11 | Simplify prolog.util.map_vars | Timotej Lazar |
2015-08-11 | Add some ad-hoc test code to prolog/util.py | Timotej Lazar |
2015-08-11 | Rework prolog query engine | Timotej Lazar |
2015-08-11 | Clean up prolog.engine | Timotej Lazar |
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 |
2015-08-11 | Move PQueue and utility functions into util.py | Timotej Lazar |