Home » org.overturetool.core.codegen » isagen » 2.4.0 » Changes

The VDM to Isabelle Translator » 2.4.0

The VDM to Isabelle Translator
Version2.4.0compared with

Version Details

2.3.8 2.4.0
Release dateJul 04, 2016Aug 29, 2016
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (3)

2.3.8 2.4.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.3.82.4.0
~ Updated org.overturetool.core.codegen » ir2.3.82.4.0
~ Updated org.overturetool.core.codegen » platform2.3.82.4.0

Test Changes (1)

2.3.8 2.4.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core.testing » framework2.3.82.4.0