summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-01-12Return number of passed/total tests from Prolog test functionsTimotej Lazar
2016-01-05Fix parameters for Prolog language hint functionTimotej Lazar
2016-01-05Simplify Prolog hint functionsTimotej Lazar
2016-01-05Remove info about reusable solutions from Prolog groupsTimotej Lazar
Required predicates (those that must be loaded when testing the program) are now determined by analyzing the tested program.
2015-12-28Added basic plans to three problems.Martin Možina
2015-12-28Merge branch 'master' of 192.168.15.97:codeq-problemsMartin Možina
Conflicts: python/problems/functions/palindrome/sl.py python/problems/functions/palindromic_numbers/sl.py
2015-12-28New plans for palindromic numbers.Martin Možina
2015-12-23Simplify Prolog test functionTimotej Lazar
2015-12-23Add info about reusable solutions to Prolog groupsTimotej Lazar
2015-12-23Hide problem Prolog.family_relations.connected_3Timotej Lazar
2015-12-23Fix: import robot hints from the correct directoryTimotej Lazar
2015-12-23angleska verzijaJure Žabkar
2015-12-15Popravki programov pred zagovorom projekta.Jure Žabkar
2015-12-15Popravek v namigu za problem followlineJure Žabkar
2015-12-15Dodani plani za robotske probleme.Jure Žabkar
2015-12-15Zadnje spremembe pred zagovorom.Jure Žabkar
2015-12-15Hide Prolog.{denotational_semantics,trees} problemsTimotej Lazar
2015-12-15Tweak monkey hint messagesTimotej Lazar
2015-12-15Add Slovenian translations for Prolog.{clp_fd,dcg}Aleksander Sadikov
2015-12-15Add tests for Prolog.clp_fdAleksander Sadikov
2015-12-14Merge remote-tracking branch 'origin/release' into releaseAleksander Sadikov
2015-12-14Test cases for CLPFD, and Slovenian translations for CLPFD and DCG added.Aleksander Sadikov
2015-12-14Remove empty plan messages from Python problemsTimotej Lazar
2015-12-14Add test function for prolog.clp_fd.puzzle_bethTimotej Lazar
2015-12-14Add tests for Prolog.{sorting,sets,license_plates}Aleksander Sadikov
2015-12-14Add Slovenian translations for Prolog exercisesAleksander Sadikov
2015-12-14Start documenting how to define new problemsTimotej Lazar
2015-12-13Tweak robot "no hint" messageTimotej Lazar
2015-12-11Add hints for monkey.fixTimotej Lazar
2015-12-10Add Slovenian descriptions for the Robot courseTimotej Lazar
2015-12-07Add . after Python problem-group descriptionsTimotej Lazar
2015-11-30Reformat Prolog test cases with listsTimotej Lazar
2015-11-27Leave query modification in tests to Prolog engineTimotej Lazar
2015-11-27Add missing test functions for prolog/listsTimotej Lazar
2015-11-19Add test function for prolog/sets/union_3Timotej Lazar
2015-11-18Do not handle engine errors in hint functionsTimotej Lazar
Such errors are now handled in server.prolog_session.
2015-11-17Fix test functions for Prolog problemsTimotej Lazar
Old version would return wrong values for programs with syntax errors.
2015-11-17Do not import obsolete HintSequence anywhereTimotej Lazar
2015-11-11Added a short plan to a problem.Martin Možina
2015-11-05Minor tweak to fahrenheit_to_celsius final hintTimotej Lazar
2015-11-03Added plan to similarity problem.Martin Možina
2015-10-29Merge branch 'master' of 192.168.15.97:codeq-problemsMartin Možina
2015-10-29Bugfix.Martin Možina
Added some hints.
2015-10-28Add test function for prolog/lists/len_2Timotej Lazar
2015-10-27Add test function for prolog/lists/conc_3Timotej Lazar
2015-10-26Merge branch 'master' of 192.168.15.97:codeq-problemsMartin Možina
Conflicts: python/problems/introduction/fahrenheit_to_celsius/sl.py
2015-10-26Corrected tests in for-loop problems.Martin Možina
Fixed some typos.
2015-10-26Fix a typoTimotej Lazar
2015-10-19Descriptions of Prolog sections added.Aleksander Sadikov
2015-10-19Improve formatting for ballistics final hintTimotej Lazar