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-09
Use LaTeX math for python/introduction/ballistics
Timotej Lazar
2016-09-09
English translation for sublist/2 added.
Aleksander Sadikov
2016-09-08
English translation for palindrome/1 added.
Aleksander Sadikov
2016-09-08
English translations for evenlen/1 and oddlen/1 added.
Aleksander Sadikov
2016-09-08
English translations for min/2 and max/2 added.
Aleksander Sadikov
2016-09-06
English translation for sum/2 added.
Aleksander Sadikov
2016-09-06
English translation for len/2 added.
Aleksander Sadikov
2016-09-01
English translation for shiftright/2 added.
Aleksander Sadikov
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
[next]