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-03-21
Hints and plans for shiftleft/2 added.
Aleksander Sadikov
2016-03-21
Plan for sublist/2 added.
Aleksander Sadikov
2016-03-20
Prolog: add triggers for palindrome/min/max hints
Timotej Lazar
2016-03-20
Prolog: add triggers for rev hints
Timotej Lazar
2016-03-20
Prolog: add triggers for shiftright hints
Timotej Lazar
2016-03-20
Fix: copy-paste error
Timotej Lazar
2016-03-20
Prolog: add triggers for shiftleft hints
Timotej Lazar
2016-03-20
Prolog: add triggers for sum/len hints
Timotej Lazar
2016-03-19
Prolog: add triggers for evenlen+oddlen hints
Timotej Lazar
2016-03-18
Prolog: add a test case for lists/del_2
Timotej Lazar
2016-03-17
Oops, missed a minus
Timotej Lazar
2016-03-17
Prolog: show lists_advanced problems except count_3
Timotej Lazar
2016-03-17
Prolog: add generic recursion hints for lists_advanced problems
Timotej Lazar
TODO modify texts in */sl.py where appropriate.
2016-03-17
Prolog: split lists exercises into two groups
Timotej Lazar
2016-03-17
Prolog: tweak intro text for lists exercises
Timotej Lazar
2016-03-14
Prolog: minor tweaks
Timotej Lazar
2016-03-14
Hint for conc/3 corrected.
Aleksander Sadikov
2016-03-14
Hint for conc/3 added.
Aleksander Sadikov
2016-03-14
Hint for conc/3 updated.
Aleksander Sadikov
2016-03-14
Hint for conc/3 corrected.
Aleksander Sadikov
2016-03-14
Hints for permute/2 updated.
Aleksander Sadikov
2016-03-14
Hints and plans for permute/2 added.
Aleksander Sadikov
2016-03-14
Hints and plans for permute/2 added.
Aleksander Sadikov
2016-03-14
Basics for permute/2 added.
Aleksander Sadikov
2016-03-14
Basics for permute/2 added.
Aleksander Sadikov
2016-03-14
Basics for permute/2 added.
Aleksander Sadikov
2016-03-14
Hints for divide/3 added.
Aleksander Sadikov
2016-03-14
Plans for divide/3 added.
Aleksander Sadikov
2016-03-14
Plans for divide/3 added.
Aleksander Sadikov
2016-03-14
Plans for divide/3 added.
Aleksander Sadikov
2016-03-14
Plans for divide/3 added.
Aleksander Sadikov
2016-03-14
Plans for divide/3 added.
Aleksander Sadikov
2016-03-13
Forgot to add hint definition for fail_rule
Timotej Lazar
2016-03-13
Prolog: add generic style check for ":- false."
Timotej Lazar
2016-03-13
Prolog: add pictures for lists problems
Timotej Lazar
2016-03-14
Plans for last_elem/2 added.
Aleksander Sadikov
2016-03-14
Hints for last_elem/2 updated.
Aleksander Sadikov
2016-03-14
Hints for last_elem/2 updated.
Aleksander Sadikov
2016-03-14
Hints for last_elem/2 updated.
Aleksander Sadikov
2016-03-14
Hints for last_elem/2 updated.
Aleksander Sadikov
2016-03-14
Hints for last_elem/2 updated.
Aleksander Sadikov
2016-03-14
Hints for last_elem/2 added.
Aleksander Sadikov
2016-03-12
Prolog: split generic hint function into syntax check and the rest
Timotej Lazar
2016-03-12
Hints for last_elem/2 added.
Aleksander Sadikov
2016-03-12
Hints for last_elem/2 added.
Aleksander Sadikov
2016-03-12
Correction for memb/2 base case hint made.
Aleksander Sadikov
2016-03-11
Prolog: add problem lists/last_elem_2
Timotej Lazar
2016-03-12
Merge remote-tracking branch 'origin/master'
Aleksander Sadikov
2016-03-12
Hints for conc/3 added.
Aleksander Sadikov
2016-03-11
prolog/lists/memb_2: use a vector image for base_case hint
Timotej Lazar
[next]