codeq-problems.git - CodeQ problem definitions

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