index
:
codeq-problems.git
master
release
CodeQ problem definitions
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
prolog
/
problems
/
lists
Age
Commit message (
Collapse
)
Author
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
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
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
2016-03-11
prolog/lists/memb_2: add picture for base_case hint
Timotej Lazar
2016-03-11
Hints for conc/3 added. And some misc bits here & there.
Aleksander Sadikov
2016-03-11
Plans for conc/3 added. Order of hints in dup/2 corrected.
Aleksander Sadikov
2016-03-11
Hints for dup/2 added.
Aleksander Sadikov
2016-03-11
Plans for dup/2 added.
Aleksander Sadikov
2016-03-10
Prolog: add intro text for lists exercises
Timotej Lazar
2016-03-10
Hints for insert/3 added.
Aleksander Sadikov
2016-03-09
Reordering the exercises in list chapter #1.
Aleksander Sadikov
2016-03-09
Hints for del/3 updated.
Aleksander Sadikov
2016-03-09
Hints for del/3 updated.
Aleksander Sadikov
2016-03-09
Hints for del/3 updated.
Aleksander Sadikov
2016-03-09
Hints for del/3 updated.
Aleksander Sadikov
2016-03-09
Plans for del/3 updated.
Aleksander Sadikov
2016-03-09
Hints for del/3 added. And some minor corrections/additions elsewhere.
Aleksander Sadikov
2016-03-09
Hints for memb/2 added.
Aleksander Sadikov
2016-03-09
Hints for memb/2 added.
Aleksander Sadikov
2016-03-09
Hints for memb/2 added.
Aleksander Sadikov
2016-03-08
Hints for memb/2 added.
Aleksander Sadikov
2016-03-08
Hints for memb/2 added.
Aleksander Sadikov
2016-02-29
Prolog: hide all but the first problem group
Timotej Lazar
Hopefully nobody is using the app yet for self-study….
2016-02-17
Prolog: only catch timeout in test functions
Timotej Lazar
2016-02-12
Prolog: catch exceptions in test functions
Timotej Lazar
2016-01-16
Random commit for testing pycharm
Aleksander Sadikov
2016-01-13
Remove space-padding from <pre> blocks
Timotej Lazar
2016-01-12
Return number of passed/total tests from Prolog test functions
Timotej Lazar
2016-01-05
Simplify Prolog hint functions
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
Simplify Prolog test function
Timotej Lazar
2015-12-23
Add info about reusable solutions to Prolog groups
Timotej Lazar
2015-12-14
Add Slovenian translations for Prolog exercises
Aleksander Sadikov
[next]