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
/
family_relations
/
aunt_2
/
common.py
Age
Commit message (
Collapse
)
Author
2016-04-25
Remove file encoding comments from python files
Timotej Lazar
UTF-8 is the default.
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. Also added to text for predicate_always_false hints.
Aleksander Sadikov
2016-02-17
Prolog: only catch timeout in test functions
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-12
Return number of passed/total tests from Prolog test functions
Timotej Lazar
2016-01-05
Simplify Prolog hint functions
Timotej Lazar
2015-12-23
Simplify Prolog test function
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
Such errors are now handled in server.prolog_session.
2015-11-17
Fix test functions for Prolog problems
Timotej Lazar
Old version would return wrong values for programs with syntax errors.
2015-11-17
Do not import obsolete HintSequence anywhere
Timotej Lazar
2015-10-17
Family relations section fully hint-ready (just a few minor things missing).
Aleksander Sadikov
2015-10-12
Remove group attribute from problem common.py files
Timotej Lazar
2015-09-23
Add missing imports for Prolog problems
Timotej Lazar
2015-09-22
New problems with hints for famrel section added.
Aleksander Sadikov
This practically completes famrel section without some details.
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š
