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
/
denotational_semantics
/
sl.py
blob: f5adadb8401fba42b9995f7be9b9f17a36983e5a (
plain
)
1
2
name = 'Denotacijske semantike' description = ''