Erik Krogh Kristensen 7ce2750c8a add missing getChild() relations

2021-10-15 19:48:47 +02:00

..

consistency-queries

add an consistency test for the totality of getParent()

2021-10-15 19:46:51 +02:00

docs

Initial commit

2021-05-26 11:32:30 +02:00

examples

More cleanup

2021-05-26 13:25:43 +02:00

src

add missing getChild() relations

2021-10-15 19:48:47 +02:00

test

add failing callgraph test

2021-10-15 19:48:45 +02:00