codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-08-11	Remove all trailing punctuation from lines	Timotej Lazar
	Remove trailing sequences of COMMAs and PERIODs when extracting edits from a trace. This is because subgoal order is rarely important in Prolog, and we don't care if the edit happened on the last line or not. This means that we treat for example "conc(A,B)," → "conc(A,B,C)." the same as "conc(A,B)" → "conc(A,B,C)".
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	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	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	Optimize prolog.util.stringify (~15% faster)	Timotej Lazar

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