codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2016-01-05	Factor common code out of PrologSession.{hint,run_for_user}	Timotej Lazar

2016-01-05	PrologSession: only add definitions of predicates that appear in program ↵	Timotej Lazar
	when testing
2015-12-23	Prolog: pass aux. code to problem's test function	Timotej Lazar
	This allows us to simplify individual problem test functions.
2015-12-11	Only try monkey.fix if we have edits for this problem	Timotej Lazar

2015-12-11	Use a more general method for extracting edits	Timotej Lazar
	This is a large overhaul of monkey code. Before, only edits within individual lines were tracked, which required a Prolog-specific method for splitting a program into a list of lines for every rule. In this version, modifications can be tracked within arbitrary code ranges. Ranges to be tracked are determined by selecting "interesting" subtrees in the AST of the starting code version. The new method is simpler, less language-dependent and easier to extend. The downside is that a program must be syntactically correct before we can attempt to fix it (the previous approach could handle programs with syntax errors in some cases). This commit also integrates a call to monkey.fix in prolog_session.hint, by running it if no other hint is found.
2015-12-10	Add copyright info	Timotej Lazar

2015-11-18	Handle Prolog engine exceptions in PrologSession	Timotej Lazar

2015-10-16	Record solved problems in database	Timotej Lazar

2015-10-15	Store identifiers instead of IDs in Problem model	Timotej Lazar

2015-10-06	Test user's program before looking for hints	Timotej Lazar

2015-10-04	Unification of language session implementations. Added load_problem and ↵	Aleš Smodiš
	end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen.
2015-09-22	Oops, overzealous copy/paste	Timotej Lazar

2015-09-22	Create the hint-list in individual test functions	Timotej Lazar
	This will allow us to add more hints, for example "did you know?"-type information when the program is correct.
2015-09-11	Pass a list of solved problems to Prolog hint/test	Timotej Lazar
	This replaces the session parameter that was passed before but not used. Especially in the hint functions it will be useful in some cases to handle user's current code, previous solutions, and the facts library separately.
2015-09-11	s/hint_defs/hint_type/g	Timotej Lazar

2015-09-10	Add Hint classes for normal and sequence hints	Timotej Lazar

2015-09-03	Pass the session object to test and hint functions	Timotej Lazar

2015-08-31	s/Problem.identifier()/Problem.get_identifier()	Timotej Lazar

2015-08-28	Handle test results as a static hint	Timotej Lazar

2015-08-28	Add a hint service for Prolog	Timotej Lazar

2015-08-28	Destroy the Prolog engine when ending a query	Timotej Lazar

2015-08-27	Remove unneeded import	Timotej Lazar

2015-08-27	Add test service to wsgi_server	Timotej Lazar
	This calls the test function defined in common.py for the given problem.
2015-08-27	Replace prolog.engine.run with ask_all	Timotej Lazar
	Creating and destroying the pengine should be handled somewhere else. This commit also removes query functionality from prolog.engine.create.
2015-08-26	Implemented activity service (auto-saving of traces and solutions).	Aleš Smodiš

2015-08-25	Wait with updating solutions until the code is done.	Aleš Smodiš

2015-08-25	Work on handling activity trace.	Aleš Smodiš

2015-08-25	Implemented methods to fetch a list of available problems and the problem ↵	Aleš Smodiš
	description. JavaScript no longer parses pythonic problem descriptions, instead they are loaded by server and JSONized.
2015-08-24	Split the development into daemon and wsgi_server.	Aleš Smodiš
	Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.