codeq-server.git - CodeQ server

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