index
:
codeq-problems.git
master
release
CodeQ problem definitions
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2016-07-05
Prolog: remove inference limit for several DCG problems
Timotej Lazar
2016-05-29
Prolog: add slo. group description for algol
Timotej Lazar
2016-05-29
Denotational semantics, part #2 (mini algol): tests and translations added.
Aleksander Sadikov
2016-05-29
Prolog: add initial programs for algol problems
Timotej Lazar
2016-05-29
Prolog: make algol problems visible
Timotej Lazar
2016-05-25
Prolog: add a test case for dcg/paren_2
Timotej Lazar
2016-05-22
Denotational semantics, part #1: tests and translations added.
Aleksander Sadikov
2016-05-22
Prolog: update initial code for denotational_semantics problems
Timotej Lazar
2016-05-22
Prolog: update denotational_semantics problems
Timotej Lazar
2016-05-18
Prolog: add introduction for DCG group
Timotej Lazar
2016-05-18
Prolog: remove language hint about lowercase vars
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-05-08
Prolog: add English translations for monkey hints
Timotej Lazar
2016-05-08
Prolog: remove inference limit for CLP(FD) tests
Timotej Lazar
2016-05-08
Prolog: fix copy/paste error
Timotej Lazar
2016-05-06
Prolog: renumber and fix CLP(FD) problems
Timotej Lazar
2016-04-25
Prolog: remove argument mode indicators from descriptions
Timotej Lazar
2016-04-25
Remove file encoding comments from python files
Timotej Lazar
2016-04-24
Prolog: swap CLP{R,FD} and reorder CLPR exercises
Timotej Lazar
2016-04-24
Prolog: rename max_sum/2 to max_adj_pair/2
Timotej Lazar
2016-04-24
CLP(R) exercises: Slovenian descriptions added.
Aleksander Sadikov
2016-04-24
CLP(R) exercises: Slovenian descriptions added.
Aleksander Sadikov
2016-04-24
Tests added for CLP(R) set of exercises.
Aleksander Sadikov
2016-04-24
Tests added for linear_opt exercise.
Aleksander Sadikov
2016-04-24
Tests added for linear_opt exercise.
Aleksander Sadikov
2016-04-18
Prolog: make license_plates group visible
Timotej Lazar
2016-04-11
Prolog: add a test case for depthBT/2
Timotej Lazar
2016-04-11
Prolog: add a test case for mirrorBT/2
Timotej Lazar
2016-04-11
Prolog: no hint for using b/t (valid for trees group)
Timotej Lazar
2016-04-11
Prolog: add test cases for the trees group
Timotej Lazar
2016-04-07
Prolog: fix test cases for sorting/pivoting_4
Timotej Lazar
2016-04-04
Prolog: add a test case for conc/3
Timotej Lazar
2016-04-03
Prolog: add introduction for the sets group and make it visible
Timotej Lazar
2016-03-30
Prolog: make sorting exercises visible
Timotej Lazar
2016-03-30
Hints and plans for isort/2 added.
Aleksander Sadikov
2016-03-30
Hints and plans for quick_sort/2 added.
Aleksander Sadikov
2016-03-30
Hints and plans for pivoting/4 added.
Aleksander Sadikov
2016-03-30
Hints and plans for pivoting/4 added.
Aleksander Sadikov
2016-03-30
Hints and plans for sins/3 added.
Aleksander Sadikov
2016-03-30
Hints and plans for is_sorted/1 added.
Aleksander Sadikov
2016-03-30
Hints and plans for is_sorted/1 added.
Aleksander Sadikov
2016-03-30
Hints and plans for slowest_sort_ever/2 added.
Aleksander Sadikov
2016-03-29
Prolog: add triggers for quick_sort/2 hints
Timotej Lazar
2016-03-29
Prolog: add triggers for pivoting/4 hints
Timotej Lazar
2016-03-29
Prolog: add triggers for isort/2 hints
Timotej Lazar
2016-03-29
Prolog: add triggers for sins/3 hints
Timotej Lazar
2016-03-29
Prolog: add triggers for slowest_sort_ever/2 hints
Timotej Lazar
[prev]
[next]