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

The VDM to Isabelle Translator » 2.6.4

The VDM to Isabelle Translator
Version2.6.4compared with

Version Details

2.6.2 2.6.4
Release dateMay 18, 2018Oct 29, 2018
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (3)

2.6.2 2.6.4
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.6.22.6.4
~ Updated org.overturetool.core.codegen » ir2.6.22.6.4
~ Updated org.overturetool.core.codegen » platform2.6.22.6.4

Test Changes (1)

2.6.2 2.6.4
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core.testing » framework2.6.22.6.4