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

The VDM to JML Generator » 2.3.0

The VDM to JML Generator
Version2.3.0compared with

Version Details

2.2.8 2.3.0
Release dateOct 07, 2015Oct 07, 2015
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (1)

2.2.8 2.3.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core.codegen » javagen2.2.82.3.0

Test Changes (1)

2.2.8 2.3.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core.testing » framework2.2.82.3.0