Cornelius Riemenschneider 07452c0159 C++: Add comment, explaining where this query is used.

2020-10-26 09:28:24 +01:00

..

examples

C++: Rename Block -> BlockStmt

2020-09-08 08:40:20 +02:00

src

C++: Add comment, explaining where this query is used.

2020-10-26 09:28:24 +01:00

test

C++: Improve performance of definitions.qll.

2020-10-23 15:16:53 +02:00