codeq-problems.git - CodeQ problem definitions

Age	Commit message (Expand)	Author
2016-03-12	Correction for memb/2 base case hint made.	Aleksander Sadikov
2016-03-11	prolog/lists/memb_2: use a vector image for base_case hint	Timotej Lazar
2016-03-11	prolog/lists/memb_2: add picture for base_case hint	Timotej Lazar
2016-03-11	Hints for conc/3 added. And some misc bits here & there.	Aleksander Sadikov
2016-03-09	Reordering the exercises in list chapter #1.	Aleksander Sadikov
2016-03-09	Hints for del/3 added. And some minor corrections/additions elsewhere.	Aleksander Sadikov
2016-03-09	Hints for memb/2 added.	Aleksander Sadikov
2016-03-09	Hints for memb/2 added.	Aleksander Sadikov
2016-03-09	Hints for memb/2 added.	Aleksander Sadikov
2016-03-08	Hints for memb/2 added.	Aleksander Sadikov
2016-03-08	Hints for memb/2 added.	Aleksander Sadikov
2016-02-29	Prolog: hide all but the first problem group	Timotej Lazar
2016-02-17	Prolog: only catch timeout in test functions	Timotej Lazar
2016-02-12	Prolog: catch exceptions in test functions	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
2015-12-23	Simplify Prolog test function	Timotej Lazar
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-10-12	Remove group attribute from problem common.py files	Timotej Lazar
2015-10-08	Remove unneeded id field from {en,sl}.py files	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š