codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2016-02-28	Prolog: add general and family relations intro	Timotej Lazar

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

2016-02-29	Final hint added for sister/2.	Aleksander Sadikov

2016-02-29	Final hint added for sister/2.	Aleksander Sadikov

2016-02-29	Additional improvements to hints for mother, father, grandparent, sister, ↵	Aleksander Sadikov
	and brother problems.
2016-02-29	Additional improvements to hints for mother, father, grandparent, sister, ↵	Aleksander Sadikov
	and brother problems.
2016-02-29	Additional improvements to hints for mother, father, grandparent, sister, ↵	Aleksander Sadikov
	and brother problems.
2016-02-29	Additional improvements to hints for mother, father, grandparent, sister, ↵	Aleksander Sadikov
	and brother problems.
2016-02-28	sister/2 and brother/2 hints improved.	Aleksander Sadikov

2016-02-28	grandparent/2 hints improved.	Aleksander Sadikov

2016-02-28	mother/2 and father/2 hints improved.	Aleksander Sadikov

2016-02-17	Prolog: only catch timeout in test functions	Timotej Lazar

2016-02-15	Prolog: add a graph of family relations	Timotej Lazar

2016-02-15	Prolog: fix order of family relations problems	Timotej Lazar

2016-02-12	Prolog: catch exceptions in test functions	Timotej Lazar

2016-01-16	Random commit for testing pycharm	Aleksander Sadikov

2016-01-13	Use argument mode indicators in Prolog problem descriptions	Timotej Lazar

2016-01-13	Remove space-padding from <pre> blocks	Timotej Lazar

2016-01-12	Return number of passed/total tests from Prolog test functions	Timotej Lazar

2016-01-05	Simplify Prolog hint functions	Timotej Lazar

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