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

The VDM Parser » 3.0.2

The VDM Parser
Version3.0.2compared with

Version Details

3.0.0 3.0.2
Release dateAug 28, 2020Nov 10, 2020
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

3.0.0 3.0.2
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast3.0.03.0.2
~ Updated org.overturetool.core » testframework3.0.03.0.2