codeq-problems.git - CodeQ problem definitions

Age	Commit message (Expand)	Author
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-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
2015-12-23	Simplify Prolog test function	Timotej Lazar
2015-11-27	Leave query modification in tests to Prolog engine	Timotej Lazar
2015-11-18	Do not handle engine errors in hint functions	Timotej Lazar
2015-11-17	Fix test functions for Prolog problems	Timotej Lazar
2015-11-17	Do not import obsolete HintSequence anywhere	Timotej Lazar
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	Remove unneeded id field from {en,sl}.py files	Timotej Lazar
2015-09-23	Add missing imports for Prolog problems	Timotej Lazar
2015-09-22	New problems with hints for famrel section added.	Aleksander Sadikov
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š