Home » org.overturetool.core.codegen » vdm2jml » 2.5.0 » Changes

The VDM to JML Generator » 2.5.0

The VDM to JML Generator
Version2.5.0compared with

Version Details

2.4.8 2.5.0
Release dateJun 05, 2017Aug 10, 2017
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.4.8 2.5.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core.codegen » javagen2.4.82.5.0
~ Updated org.overturetool.core.codegen » vdm2jml-runtime2.4.82.5.0

Test Changes (2)

2.4.8 2.5.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core.codegen » javagen-test2.4.82.5.0
~ Updated org.overturetool.core.testing » framework2.4.82.5.0