codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-08-11	Fix recording replacements (remove/insert)	Timotej Lazar

2015-08-11	Move normalize to prolog.util	Timotej Lazar

2015-08-11	Ignore edits after the first correct version	Timotej Lazar

2015-08-11	Clean up monkey.fix.step	Timotej Lazar

2015-08-11	Simplify get_edits_from_traces	Timotej Lazar

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	Small cleanups	Timotej Lazar

2015-08-11	Clean up monkey.edits.get_paths	Timotej Lazar

2015-08-11	Move monkey.prolog to root module	Timotej Lazar

2015-08-11	Clean up monkey.prolog.util	Timotej Lazar

2015-08-11	Pickle frequent edits when calling monkey.edits	Timotej Lazar
	Resulting file contains a 4-tuple with edit, line, submission and query frequencies. Each element of the tuple is a dictionary of the form <pid>: dictionary of frequencies The data in this file will be loaded by the tutor app and used for generating hints.
2015-08-11	Use relative imports in monkey modules	Timotej Lazar

2015-08-11	Move pymonkey stuff to monkey/	Timotej Lazar
	Importing pymonkey into webmonkey, let's see how this works.