codeq-server.git - CodeQ server

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