codeq-problems.git - CodeQ problem definitions

Age	Commit message (Collapse)	Author
2016-10-04	Use a single CSS file for all courses	Timotej Lazar

2016-07-05	Prolog: remove inference limit for several DCG problems	Timotej Lazar
	It is reasonable to use CLP(FD) for the paren/3, number/2, number/3 and number_proper/2 problems; the inference limit prevented some tests from succeeding.
2016-05-25	Prolog: add a test case for dcg/paren_2	Timotej Lazar

2016-05-18	Prolog: add introduction for DCG group	Timotej Lazar

2016-05-16	Prolog: fix a typo	Timotej Lazar

2016-05-16	Prolog: hide dcg/expr_[23] until tests are added	Timotej Lazar

2016-05-15	DCG: test cases added.	Aleksander Sadikov

2016-05-15	Prolog: show DCG problems	Timotej Lazar

2016-04-25	Remove file encoding comments from python files	Timotej Lazar
	UTF-8 is the default.
2016-03-17	Prolog: split lists exercises into two groups	Timotej Lazar

2016-02-29	Prolog: hide all but the first problem group	Timotej Lazar
	Hopefully nobody is using the app yet for self-study….
2016-01-13	Remove space-padding from <pre> blocks	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-23	Add info about reusable solutions to Prolog groups	Timotej Lazar

2015-12-15	Add Slovenian translations for Prolog.{clp_fd,dcg}	Aleksander Sadikov

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

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	Add language/group IDs and group numbers for Prolog	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š