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

The VDM Parser » 2.7.0

The VDM Parser
Version2.7.0compared with

Version Details

2.6.4 2.7.0
Release dateOct 29, 2018Jun 03, 2019
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.6.4 2.7.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.6.42.7.0
~ Updated org.overturetool.core » testframework2.6.42.7.0