Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content

Matcher re implementation

sarah.grebing requested to merge matcherReImplementation into master

Reimplementation of Matcher, which also includes a reimplementation of the matching in KeY

Merge request reports