codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2016-02-28	mother/2 and father/2 hints improved.	Aleksander Sadikov

2016-02-17	Prolog: only catch timeout in test functions	Timotej Lazar

2016-02-12	Prolog: catch exceptions in test functions	Timotej Lazar

2016-01-12	Return number of passed/total tests from Prolog test functions	Timotej Lazar

2016-01-05	Simplify Prolog hint functions	Timotej Lazar

2015-12-23	Simplify Prolog test function	Timotej Lazar

2015-11-27	Leave query modification in tests to Prolog engine	Timotej Lazar

2015-11-18	Do not handle engine errors in hint functions	Timotej Lazar
	Such errors are now handled in server.prolog_session.
2015-11-17	Fix test functions for Prolog problems	Timotej Lazar
	Old version would return wrong values for programs with syntax errors.
2015-11-17	Do not import obsolete HintSequence anywhere	Timotej Lazar

2015-10-12	Remove group attribute from problem common.py files	Timotej Lazar

2015-10-02	Figures, hints and test cases added/updated for father, grandparent, ↵	Aleksander Sadikov
	brother, and sister problems.
2015-10-01	Figures and hints updated for mother/2, father/2, and grandparent/2 problems.	Aleksander Sadikov

2015-09-22	New problems with hints for famrel section added.	Aleksander Sadikov
	This practically completes famrel section without some details.
2015-09-22	Oops, overzealous copy/paste	Timotej Lazar

2015-09-22	Update test functions for existing problems	Timotej Lazar
	The test function is now expected to return a boolean indicating whether the program is correct and a list of hint objects.
2015-09-18	Add plan for brother/father/mother/sister	Timotej Lazar

2015-09-17	Use check_answers instead of ask_all for testing	Timotej Lazar
	Simplify the testing function and add correct test cases for Prolog problems mother/2 and brother/2.
2015-09-11	Accept a list of solved problems for hint/test	Timotej Lazar
	Some Prolog problems may be solved using previous solutions. This allows us to test such programs, and still analyze the submission separately.
2015-09-11	s/hint_defs/hint_type/g	Timotej Lazar

2015-09-10	Use Hint classes for hints from the last commit	Timotej Lazar
	Also move the language-specific hint method for Prolog to prolog.common.
2015-09-10	Hints for mother, father, brother, and sister added.	Aleksander Sadikov