codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
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