Home » org.overturetool.core » parser » 2.6.0 » Changes

The VDM Parser » 2.6.0

The VDM Parser
Version2.6.0compared with

Version Details

2.5.6 2.6.0
Release dateDec 11, 2017Feb 16, 2018
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.5.6 2.6.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.5.62.6.0
~ Updated org.overturetool.core » testframework2.5.62.6.0