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 (
Collapse
)
Author
2016-09-01
English translation for shiftleft/2 added.
Aleksander Sadikov
2016-08-31
English translation for divide/3 added.
Aleksander Sadikov
2016-08-31
English translation for permute/2 added.
Aleksander Sadikov
2016-08-30
English translation for last_elem/2 added.
Aleksander Sadikov
2016-08-29
English translation for dup/2 added.
Aleksander Sadikov
2016-08-29
English translation for del/3 added.
Aleksander Sadikov
2016-08-29
English translation for insert/3 added.
Aleksander Sadikov
2016-08-28
English translation for memb/2 added.
Aleksander Sadikov
2016-08-27
English translation for conc/3 added.
Aleksander Sadikov
2016-08-24
Merge branch 'master' of 192.168.15.97:codeq-problems
Martin Možina
2016-08-24
Added several new exercises for Python (related to dictionaries and sets).
Martin Možina
2016-08-21
English translation for grandparent/2 added.
Aleksander Sadikov
2016-08-20
English translation for cousin/2 added.
Aleksander Sadikov
2016-08-19
English translation for sister/2 and brother/2 added.
Aleksander Sadikov
2016-08-19
English translation for aunt/2 added.
Aleksander Sadikov
2016-08-18
English translation for mother/2 and father/2 added.
Aleksander Sadikov
2016-08-10
English translation for rev/2 added.
Aleksander Sadikov
2016-08-09
English translation for ancestor/2 and descendant/2 updated.
Aleksander Sadikov
2016-08-09
English translation for ancestor/2 and descendant/2 updated.
Aleksander Sadikov
2016-08-09
English translation for descendant/2 added.
Aleksander Sadikov
2016-08-09
Merge branch 'master' of ssh://192.168.15.97/codeq-problems
Aleksander Sadikov
2016-08-09
Add a missing import to prolog/common.py
Timotej Lazar
2016-08-09
Add some style guidelines to readme
Timotej Lazar
2016-08-09
Prolog: add a couple of test cases for rev/2
Timotej Lazar
2016-08-09
English translation for descendant/2 partially added.
Aleksander Sadikov
2016-08-08
English translation for ancestor/2 added.
Aleksander Sadikov
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-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
These hints are not appropriate for DCG exercises.
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
UTF-8 is the default.
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
[prev]
[next]