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
Age
Commit message (
Collapse
)
Author
2016-02-29
Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() ↵
Aleksander Sadikov
function added.
2016-02-29
Improved hints for ancestor/2.
Aleksander Sadikov
2016-02-29
Improved hints for ancestor/2.
Aleksander Sadikov
2016-02-29
Improved hints for cousin/2.
Aleksander Sadikov
2016-02-29
Improved hints for cousin/2.
Aleksander Sadikov
2016-02-29
Some minor corrections in accompanying texts.
Aleksander Sadikov
2016-02-29
Hints for aunt/2 improved.
Aleksander Sadikov
2016-02-29
Hints for aunt/2 improved.
Aleksander Sadikov
2016-02-29
Hints for aunt/2 improved.
Aleksander Sadikov
2016-02-29
Merge branch 'master' of ssh://192.168.15.97/codeq-problems
Aleksander Sadikov
2016-02-29
Hints for aunt/2 improved. Also added to text for predicate_always_false hints.
Aleksander Sadikov
2016-02-29
General hint for noncapitalised variables added.
Aleksander Sadikov
2016-02-29
Final hint added for sister/2.
Aleksander Sadikov
2016-02-29
Final hint added for sister/2.
Aleksander Sadikov
2016-02-29
Additional improvements to hints for mother, father, grandparent, sister, ↵
Aleksander Sadikov
and brother problems.
2016-02-29
Additional improvements to hints for mother, father, grandparent, sister, ↵
Aleksander Sadikov
and brother problems.
2016-02-29
Additional improvements to hints for mother, father, grandparent, sister, ↵
Aleksander Sadikov
and brother problems.
2016-02-29
Additional improvements to hints for mother, father, grandparent, sister, ↵
Aleksander Sadikov
and brother problems.
2016-02-28
sister/2 and brother/2 hints improved.
Aleksander Sadikov
2016-02-28
Prolog: add general and family relations intro
Timotej Lazar
2016-02-28
grandparent/2 hints improved.
Aleksander Sadikov
2016-02-28
mother/2 and father/2 hints improved.
Aleksander Sadikov
2016-02-17
Prolog: only catch timeout in test functions
Timotej Lazar
2016-02-15
Prolog: add a graph of family relations
Timotej Lazar
2016-02-15
Prolog: fix order of family relations problems
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
Use argument mode indicators in Prolog problem descriptions
Timotej Lazar
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
Fix parameters for Prolog language hint function
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-23
Hide problem Prolog.family_relations.connected_3
Timotej Lazar
2015-12-15
Hide Prolog.{denotational_semantics,trees} problems
Timotej Lazar
2015-12-15
Tweak monkey hint messages
Timotej Lazar
2015-12-15
Add Slovenian translations for Prolog.{clp_fd,dcg}
Aleksander Sadikov
2015-12-15
Add tests for Prolog.clp_fd
Aleksander Sadikov
2015-12-14
Test cases for CLPFD, and Slovenian translations for CLPFD and DCG added.
Aleksander Sadikov
2015-12-14
Add test function for prolog.clp_fd.puzzle_beth
Timotej Lazar
2015-12-14
Add tests for Prolog.{sorting,sets,license_plates}
Aleksander Sadikov
2015-12-14
Add Slovenian translations for Prolog exercises
Aleksander Sadikov
2015-12-11
Add hints for monkey.fix
Timotej Lazar
2015-11-30
Reformat Prolog test cases with lists
Timotej Lazar
2015-11-27
Leave query modification in tests to Prolog engine
Timotej Lazar
2015-11-27
Add missing test functions for prolog/lists
Timotej Lazar
2015-11-19
Add test function for prolog/sets/union_3
Timotej Lazar
2015-11-18
Do not handle engine errors in hint functions
Timotej Lazar
Such errors are now handled in server.prolog_session.
[next]