codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-08-11	Correctly find first token in current part in step	Timotej Lazar

2015-08-11	Oops, a line got lost	Timotej Lazar

2015-08-11	Ignore edits a→b where a or b has multiple parts	Timotej Lazar
	This happens for instance when a user writes more than one goal on the same line. A better way would be to handle this when building a graph (use annotate instead of splitting on newlines).
2015-08-11	Annotate tokens instead of splitting program	Timotej Lazar
	Instead of splitting the program by line numbers, do limited parsing (enough to distinguish , in "memb(X,Y)" from , in "a :- b, c."). Each token in the parsed program is annotated with rule and part number. Rewrite monkey.fix.step to take program as a sequence of annotated tokens instead of lists of lines and rules. Improve message passing to website.
2015-08-11	Simplify calls to prolog.util.map_vars	Timotej Lazar

2015-08-11	Exclude admin and test users when analyzing traces	Timotej Lazar

2015-08-11	Use one format for all messages passed to JS side	Timotej Lazar

2015-08-11	Add a function for Damerau-Levenshtein distance	Timotej Lazar
	Will be used to check for typos.
2015-08-11	Don't store solution-line frequencies	Timotej Lazar
	This is currently unused.
2015-08-11	Pass the entire current path to monkey.fix.step	Timotej Lazar
	Only the last step is used currently.
2015-08-11	monkey.fix.step: apply all edits in line order	Timotej Lazar
	For instance, don't add a new rule at line 1 after changing line 3 - only the ordered sequence of edits will be checked.
2015-08-11	Remove unused imports in monkey.test	Timotej Lazar

2015-08-11	Simplify monkey.edits.get_edits_from_traces	Timotej Lazar

2015-08-11	Rename monkey.edits.edit_graph to trace_graph	Timotej Lazar

2015-08-11	Cleanups	Timotej Lazar

2015-08-11	Fix recording replacements (remove/insert)	Timotej Lazar

2015-08-11	Improve adding a rule in monkey.fix.step	Timotej Lazar

2015-08-11	Improve codemirror markers	Timotej Lazar

2015-08-11	Improve monkey.fix.postprocess	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 prolog.util.decompose	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	Minor fixes in monkey.test	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	Minor cleanups in monkey.monkey	Timotej Lazar

2015-08-11	Initial error marking support	Timotej Lazar
	Some cleanups in monkey.monkey. Need better namespacing. Basic postprocessing (merge edits to same line).
2015-08-11	Pass auxiliary code to fix in monkey.test	Timotej Lazar

2015-08-11	Refactor monkey.monkey.fix	Timotej Lazar

2015-08-11	Remove a superfluous try/except block	Timotej Lazar

2015-08-11	Reduce number of requests when testing	Timotej Lazar
	Allow running a query when creating the pengine. Also replace PrologEngine with a set of functions.
2015-08-11	Find out pengine ID server-side in run_tests	Timotej Lazar

2015-08-11	Move get_aux_code to tutor/models.py	Timotej Lazar

2015-08-11	Remove unused imports	Timotej Lazar

2015-08-11	Add support for hint generation	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	Move testing code from monkey.py to test.py	Timotej Lazar
	Drop monkey/db.py and use Django models instead.
2015-08-11	Add prolog.engine.test	Timotej Lazar
	Runs tests for the specified predicate on the given code and returns True if all tests succeed. Stop at first failure.
2015-08-11	Rename monkey.prolog.engine.test to test_all	Timotej Lazar

2015-08-11	Rewrite monkey.action test code to use Django db	Timotej Lazar

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.
2015-08-11	Add prolog.engine.test	Timotej Lazar
	Depends on run_tests/3.
2015-08-11	Improve error handling in PrologEngine	Timotej Lazar

2015-08-11	Delegate testing to a Prolog server	Timotej Lazar
	... which obsoletes a lot of effort in making the testing procedure more robust in the past two years. Oh well. It seems to be the sanest way of coping with more than one simultaneous user (who could have predicted this use case?). The new way involves a PEngine server, and it seems to work quite well. Remember Knuth: premature optimization (as in ignoring possible solutions because they _might_ be to slow) is stupid. TODO: - library loading (again) - use of previous solution (again) - fix issues when converting non-ground terms to json Side note, constructivism works: in the past few days I have reached a much better but fundamentally ineffable intuition about Prolog, more so than in the past two years teaching it. So, fuck ITS and rather fix the schools by giving students something meaningful to do. Sigh.