codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2016-02-29	Some minor corrections in accompanying texts.	Aleksander Sadikov

2016-02-29	Hints for aunt/2 improved.	Aleksander Sadikov

2016-02-29	Hints for aunt/2 improved.	Aleksander Sadikov

2016-02-29	Hints for aunt/2 improved.	Aleksander Sadikov

2016-02-29	Merge branch 'master' of ssh://192.168.15.97/codeq-problems	Aleksander Sadikov

2016-02-29	Hints for aunt/2 improved. Also added to text for predicate_always_false hints.	Aleksander Sadikov

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	Prolog: add general and family relations intro	Timotej Lazar

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	Python: add link to tutorial (sl) by Janez Demšar	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	Random hint HTML improvement	Timotej Lazar

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	Fix parameters for Prolog language hint function	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-28	Added basic plans to three problems.	Martin Možina

2015-12-28	Merge branch 'master' of 192.168.15.97:codeq-problems	Martin Možina
	Conflicts: python/problems/functions/palindrome/sl.py python/problems/functions/palindromic_numbers/sl.py
2015-12-28	New plans for palindromic numbers.	Martin Možina

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-23	Fix: import robot hints from the correct directory	Timotej Lazar

2015-12-23	angleska verzija	Jure Žabkar

2015-12-15	Popravki programov pred zagovorom projekta.	Jure Žabkar

2015-12-15	Popravek v namigu za problem followline	Jure Žabkar

2015-12-15	Dodani plani za robotske probleme.	Jure Žabkar

2015-12-15	Zadnje spremembe pred zagovorom.	Jure Žabkar

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

2015-12-15	Tweak monkey hint messages	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	Merge remote-tracking branch 'origin/release' into release	Aleksander Sadikov

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

2015-12-14	Remove empty plan messages from Python problems	Timotej Lazar

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