Erik Krogh Kristensen 4db6702caa QL: fix predicate resolution

2021-10-17 12:53:49 +02:00

..

consistency-queries

QL: 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

QL: More cleanup

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

src

QL: fix predicate resolution

2021-10-17 12:53:49 +02:00

test

QL: NewTypeBranches are Predicates

2021-10-17 11:58:00 +02:00