codeq-problems.git - CodeQ problem definitions

Age	Commit message (Expand)	Author
2016-04-04	Prolog: add a test case for conc/3	Timotej Lazar
2016-03-14	Hint for conc/3 corrected.	Aleksander Sadikov
2016-03-14	Hint for conc/3 added.	Aleksander Sadikov
2016-03-14	Hint for conc/3 corrected.	Aleksander Sadikov
2016-03-12	Hints for conc/3 added.	Aleksander Sadikov
2016-03-11	Hints for conc/3 added. And some misc bits here & there.	Aleksander Sadikov
2016-03-11	Plans for conc/3 added. Order of hints in dup/2 corrected.	Aleksander Sadikov
2016-03-09	Reordering the exercises in list chapter #1.	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-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-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-17	Fix test functions for Prolog problems	Timotej Lazar
2015-10-27	Add test function for prolog/lists/conc_3	Timotej Lazar
2015-10-12	Remove group attribute from problem common.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š