Version3.5.0compared with
Version Details
| 3.3.0 | 3.5.0 | |
|---|---|---|
| Release date | Nov 30, 2019 | Jun 14, 2020 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (5)
| 3.3.0 | 3.5.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | uuverifiers » princess_2.13 | - | 2020-05-01-assertionless |
| ~ Updated | com.google.guava » guava | 28.0-jre | 29.0-jre |
| ~ Updated | de.uni-freiburg.informatik.ultimate » smtinterpol | 2.5-533-ga4ba1513 | 2.5-604-g71e72f93 |
| - Removed | org.sosy-lab » common | 0.3000-357-gc47b29f | - |
| - Removed | uuverifiers » princess_2.12 | 2019-11-20-assertionless | - |