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

The VDM Parser » 3.0.0

The VDM Parser
Version3.0.0compared with

Version Details

2.7.4 3.0.0
Release dateMar 16, 2020Aug 28, 2020
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.7.4 3.0.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.7.43.0.0
~ Updated org.overturetool.core » testframework2.7.43.0.0