codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2017-02-27	Prolog: add texts for new automatic hints	Timotej Lazar

2016-08-09	Add a missing import to prolog/common.py	Timotej Lazar

2016-05-18	Prolog: remove language hint about lowercase vars	Timotej Lazar
	These hints are not appropriate for DCG exercises.
2016-04-25	Remove file encoding comments from python files	Timotej Lazar
	UTF-8 is the default.
2016-04-11	Prolog: no hint for using b/t (valid for trees group)	Timotej Lazar

2016-03-13	Forgot to add hint definition for fail_rule	Timotej Lazar

2016-03-13	Prolog: add generic style check for ":- false."	Timotej Lazar

2016-03-12	Prolog: split generic hint function into syntax check and the rest	Timotej Lazar

2016-03-09	Hints for del/3 added. And some minor corrections/additions elsewhere.	Aleksander Sadikov

2016-02-29	General hint for noncapitalised variables added.	Aleksander Sadikov

2016-01-05	Fix parameters for Prolog language hint function	Timotej Lazar

2015-12-11	Add hints for monkey.fix	Timotej Lazar

2015-11-17	Do not import obsolete HintSequence anywhere	Timotej Lazar

2015-10-08	Add language/group IDs and group numbers for Prolog	Timotej Lazar

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.