Migrate to Scala 2.13 (!164) · Merge requests · LARA / inox · GitLab

Viktor Kuncak requested to merge github/fork/mario-bucev/migration-2.13 into scala-2.13 Sep 13, 2021

Created by: mario-bucev

Note: this PR is targeted against the scala-2.13 branch

Upgrade Princess to 2020-03-12
Upgrade ScalaZ3 to 4.7.1 (except for Windows)
Disabled cross-compilation for 2.11 and 2.12, as these versions seem to be incompatible with 2.13.

Close #100