codeq-server.git - CodeQ server

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