Jens Schauder ec49ba1d3e Polishing. ...

Fixes copyright dates of new files to the current year.
Fixes the issue reference to use the GitHub notation.
Adds an additional test to ensure that the `ConstantConditionVisitor` doesn't need a predicate.

Original pull request #978

2021-05-17 15:03:31 +02:00

..

src

Polishing.

2021-05-17 15:03:31 +02:00

pom.xml

Prepare next development iteration.

2021-04-14 14:30:11 +02:00