codeq-problems.git - CodeQ problem definitions

Age	Commit message (Expand)	Author
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
2015-09-11	Accept a list of solved problems for hint/test	Timotej Lazar
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