codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2016-01-05	Remove info about reusable solutions from Prolog groups	Timotej Lazar
	Required predicates (those that must be loaded when testing the program) are now determined by analyzing the tested program.
2015-12-23	Simplify Prolog test function	Timotej Lazar

2015-12-23	Add info about reusable solutions to Prolog groups	Timotej Lazar

2015-12-23	Hide problem Prolog.family_relations.connected_3	Timotej Lazar

2015-12-15	Hide Prolog.{denotational_semantics,trees} problems	Timotej Lazar

2015-12-15	Add Slovenian translations for Prolog.{clp_fd,dcg}	Aleksander Sadikov

2015-12-15	Add tests for Prolog.clp_fd	Aleksander Sadikov

2015-12-14	Test cases for CLPFD, and Slovenian translations for CLPFD and DCG added.	Aleksander Sadikov

2015-12-14	Add test function for prolog.clp_fd.puzzle_beth	Timotej Lazar

2015-12-14	Add tests for Prolog.{sorting,sets,license_plates}	Aleksander Sadikov

2015-12-14	Add Slovenian translations for Prolog exercises	Aleksander Sadikov

2015-11-30	Reformat Prolog test cases with lists	Timotej Lazar

2015-11-27	Leave query modification in tests to Prolog engine	Timotej Lazar

2015-11-27	Add missing test functions for prolog/lists	Timotej Lazar

2015-11-19	Add test function for prolog/sets/union_3	Timotej Lazar

2015-11-18	Do not handle engine errors in hint functions	Timotej Lazar
	Such errors are now handled in server.prolog_session.
2015-11-17	Fix test functions for Prolog problems	Timotej Lazar
	Old version would return wrong values for programs with syntax errors.
2015-11-17	Do not import obsolete HintSequence anywhere	Timotej Lazar

2015-10-28	Add test function for prolog/lists/len_2	Timotej Lazar

2015-10-27	Add test function for prolog/lists/conc_3	Timotej Lazar

2015-10-19	Descriptions of Prolog sections added.	Aleksander Sadikov

2015-10-17	Names of Prolog sections added.	Aleksander Sadikov

2015-10-17	Names of Prolog sections added.	Aleksander Sadikov

2015-10-17	Family relations section fully hint-ready (just a few minor things missing).	Aleksander Sadikov

2015-10-17	Family relations section fully hint-ready (just a few minor things missing).	Aleksander Sadikov

2015-10-12	Remove group attribute from problem common.py files	Timotej Lazar

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

2015-10-08	Remove unneeded id field from {en,sl}.py files	Timotej Lazar

2015-10-02	Figures, hints and test cases added/updated for father, grandparent, ↵	Aleksander Sadikov
	brother, and sister problems.
2015-10-01	Add group description files for family relations	Timotej Lazar

2015-10-01	Figures and hints updated for mother/2, father/2, and grandparent/2 problems.	Aleksander Sadikov

2015-10-01	Figures and hints updated for mother/2 problem.	Aleksander Sadikov

2015-09-30	Add a popup hint for grandparent	Aleksander Sadikov

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