Age | Commit message (Expand) | Author |
2016-03-09 | Hints for del/3 added. And some minor corrections/additions elsewhere. | Aleksander Sadikov |
2016-03-02 | Improved hints for ancestor/2 and descendant/2. | Aleksander Sadikov |
2016-03-02 | Improved hints for ancestor/2 and descendant/2. | Aleksander Sadikov |
2016-03-02 | Merge remote-tracking branch 'origin/master' | Aleksander Sadikov |
2016-03-02 | Improved hints for ancestor/2 and descendant/2. | Aleksander Sadikov |
2016-03-01 | Fix a typo | Timotej Lazar |
2016-03-01 | Improved hints for ancestor/2 and descendant/2. | Aleksander Sadikov |
2016-03-01 | Improved hints for ancestor/2. | Aleksander Sadikov |
2016-02-29 | Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() funct... | Aleksander Sadikov |
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, and... | Aleksander Sadikov |
2016-02-29 | Additional improvements to hints for mother, father, grandparent, sister, and... | Aleksander Sadikov |
2016-02-29 | Additional improvements to hints for mother, father, grandparent, sister, and... | Aleksander Sadikov |
2016-02-29 | Additional improvements to hints for mother, father, grandparent, sister, and... | Aleksander Sadikov |
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-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 | Simplify Prolog hint functions | Timotej Lazar |
2016-01-05 | Remove info about reusable solutions from Prolog groups | Timotej Lazar |
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-11-27 | Leave query modification in tests to Prolog engine | Timotej Lazar |
2015-11-18 | Do not handle engine errors in hint functions | Timotej Lazar |
2015-11-17 | Fix test functions for Prolog problems | Timotej Lazar |
2015-11-17 | Do not import obsolete HintSequence anywhere | Timotej Lazar |
2015-10-19 | Descriptions of Prolog sections added. | Aleksander Sadikov |
2015-10-17 | Names of Prolog sections added. | Aleksander Sadikov |
2015-10-17 | Names of Prolog sections added. | Aleksander Sadikov |
2015-10-17 | Family relations section fully hint-ready (just a few minor things missing). | Aleksander Sadikov |