Skip to content

Add transitive closure for bi

Simcha van Collem requested to merge svancollem/iris:transitive-closure into master

This PR adds bi_tc to get the transitive closure of a bi. I changed the structure of relations.v a bit such that it's structured in a similar way to the one in stdpp.

Merge request reports