| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-05-15 | Hack in support for DCGs in Prolog parser | Timotej Lazar | |
| 2016-05-08 | Prolog: support CLP(FD) in parser | Timotej Lazar | |
| 2016-04-24 | Support CLP(R) expressions in Prolog parser | Timotej Lazar | |
| 2015-12-10 | Sort token list for Prolog parser | Timotej Lazar | |
| Ensures the cached version of parsetab.py is used. | |||
| 2015-12-10 | Add copyright info | Timotej Lazar | |
| 2015-08-11 | Silence warnings from ply.lex.lex() | Timotej Lazar | |
| 2015-08-11 | Always lex , as COMMA, never as NAME | Timotej Lazar | |
| Also a testing loop to prolog.lexer. | |||
| 2015-08-11 | Move monkey.prolog to root module | Timotej Lazar | |
| 2015-08-11 | Move pymonkey stuff to monkey/ | Timotej Lazar | |
| Importing pymonkey into webmonkey, let's see how this works. | |||
| 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 | Lexer: increase priority for t_comment | Timotej Lazar | |
| Multiline comments were not lexed correctly because /* was interpreted as an operator. | |||
| 2015-08-11 | Initial commit for pymonkey | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |