codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2017-02-24	prolog.parser: implement most remaining operators	Timotej Lazar
	Also fix some precedence issues.
2017-02-24	Modify Prolog parser to produce ASTs instead of parse trees	Timotej Lazar

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