Skip to content

Merge master into hybridAutomaton

Dr. Stefan Alexander Schupp requested to merge master into hybridAutomaton

Update the hybridAutomaton-branch with some updates from master, e.g., the Dockerfile.

Merge request reports