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

The VDM Parser » 2.4.6

The VDM Parser
Version2.4.6compared with

Version Details

2.4.4 2.4.6
Release dateDec 02, 2016Mar 03, 2017
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.4.4 2.4.6
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.4.42.4.6
~ Updated org.overturetool.core » testframework2.4.42.4.6