Skip to content

Merge jt

Jan Trávníček requested to merge merge-jt into master

Unordered pattern matching, relation properties, bisimulation implementation fixes.

Merge request reports