Anders Schack-Mulligen dfa0e77e39 QL: New performance query: Transitive step in recursion.

2021-10-14 15:42:40 +02:00

..

consistency-queries

QL: Variable resolution

2021-05-28 09:34:53 +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: New performance query: Transitive step in recursion.

2021-10-14 15:42:40 +02:00

test

QL: Adjust expected output.

2021-10-14 13:07:53 +02:00