codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2015-10-06	Add "program is already correct" hints	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-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.