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
2015-09-11
Accept a list of solved problems for hint/test
Timotej Lazar
Some Prolog problems may be solved using previous solutions. This allows us to test such programs, and still analyze the submission separately.
2015-09-11
s/hint_defs/hint_type/g
Timotej Lazar
2015-09-10
Use Hint classes for hints from the last commit
Timotej Lazar
Also move the language-specific hint method for Prolog to prolog.common.
2015-09-10
Hints for mother, father, brother, and sister added.
Aleksander Sadikov
2015-09-03
Pass the session object to test and hint functions
Timotej Lazar
2015-09-02
Added SI version of hints for sister/2.
Aleksander Sadikov
2015-09-01
Translate language-specific messages to Slovene
Timotej Lazar
2015-08-28
Add the 'test_results' message for Prolog
Timotej Lazar
2015-08-28
Move generic hints to prolog/en.py
Timotej Lazar
2015-08-28
Add a simple hint function for sister_2
Timotej Lazar
2015-08-27
Add test function for sister_2
Timotej Lazar
2015-08-18
Added the coding line to python files.
Aleš Smodiš
2015-08-18
Exported all problems from the SQLite database into the new directory structure.
Aleš Smodiš