codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2015-09-30	Figures added for mother problem.	Aleksander Sadikov

2015-09-23	Add missing imports for Prolog problems	Timotej Lazar

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-18	Fix a typo	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

2015-09-03	Pass the session object to test and hint functions	Timotej Lazar

2015-09-02	Added SI version of hints for sister/2.	Aleksander Sadikov

2015-08-28	Move generic hints to prolog/en.py	Timotej Lazar

2015-08-28	Add a simple hint function for sister_2	Timotej Lazar

2015-08-27	Add test function for sister_2	Timotej Lazar

2015-08-18	Added the coding line to python files.	Aleš Smodiš

2015-08-18	Exported all problems from the SQLite database into the new directory structure.	Aleš Smodiš