Erik Krogh Kristensen dc354f8fbf add noResolvePredicateExpr to the list of empty consistency predicates

2021-10-17 11:59:51 +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 noResolvePredicateExpr to the list of empty consistency predicates

2021-10-17 11:59:51 +02:00

test

NewTypeBranches are Predicates

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