Version2.4.0compared with
Version Details
| 2.3.8 | 2.4.0 | |
|---|---|---|
| Release date | Jul 04, 2016 | Aug 29, 2016 |
| Licenses | GPL 3.0 | GPL 3.0 |
| Vulnerabilities | None | None |
Compile Changes (2)
| 2.3.8 | 2.4.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.overturetool.core.codegen » javagen | 2.3.8 | 2.4.0 |
| ~ Updated | org.overturetool.core.codegen » vdm2jml-runtime | 2.3.8 | 2.4.0 |
Test Changes (2)
| 2.3.8 | 2.4.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.overturetool.core.codegen » javagen-test | 2.3.8 | 2.4.0 |
| ~ Updated | org.overturetool.core.testing » framework | 2.3.8 | 2.4.0 |