codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
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

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-12-14	Start documenting how to define new problems	Timotej Lazar

2015-12-13	Tweak robot "no hint" message	Timotej Lazar

2015-12-11	Add hints for monkey.fix	Timotej Lazar

2015-12-10	Add Slovenian descriptions for the Robot course	Timotej Lazar

2015-12-07	Add . after Python problem-group descriptions	Timotej Lazar

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-11-11	Added a short plan to a problem.	Martin Možina

2015-11-05	Minor tweak to fahrenheit_to_celsius final hint	Timotej Lazar

2015-11-03	Added plan to similarity problem.	Martin Možina

2015-10-29	Merge branch 'master' of 192.168.15.97:codeq-problems	Martin Možina

2015-10-29	Bugfix.	Martin Možina
	Added some hints.
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-26	Merge branch 'master' of 192.168.15.97:codeq-problems	Martin Možina
	Conflicts: python/problems/introduction/fahrenheit_to_celsius/sl.py
2015-10-26	Corrected tests in for-loop problems.	Martin Možina
	Fixed some typos.
2015-10-26	Fix a typo	Timotej Lazar

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

2015-10-19	Improve formatting for ballistics final hint	Timotej Lazar