VDMCheck 1.1.4-SNAPSHOT

This is the snapshot release of the latest work on VDMCheck 1.1.4.

VDMCheck2.sh error messages have been changed to give a section and page number reference in the FMI2 Standard, rather than a hyperlink to a URL. This is because the FMI2 Standard is not officially available as an online document.

VDMCheck 1.1.3

The latest version of the VDMCheck distribution, for FMI2 and FMI3, is in the artifact list below.

VDMCheck 1.1.3-SNAPSHOT (Schema 2.0.4 and 3.0.1)

This release contains support for FMI 2.0.4 and 3.0.1-rc2.

The FMI3-vdmcheck-1.1.3-distribution.zip (after build 230223) contains a new version of the tool that attempts to give URL links in the error messages that point back to the FMI3 Standard where the cause of the error is discussed. It still provides a shell script called VDMCheck3.sh, which has nearly the same options as the previous VDMCheck3.sh:

> VDMCheck3.sh 
Usage: VDMCheck3.sh [-h <FMI Standard base URL>] [-v <VDM outfile>] <file>.fmu | <file>.xml

> VDMCheck3.sh transpose.fmu
validCSIntermediateUpdate: canReturnEarlyAfterIntermediateUpdate requires providesIntermediateUpdate at modelDescription.xml:22
See: https://fmi-standard.org/docs/3.0/#table-CoSimulation-details

Errors found.

Note that there are URL(s) after the error messages. The -h option will replace the https://fmi-standard.org/docs/3.0/ prefix for error URLs.

The main repository README.md (development branch) has been updated with the new commands.

Build 230616 has been updated to 3.0.1-rc2.

VDMCheck 1.1.2 (schemas 2.0.4 and 3.0)

This release supports FMI version 2.0.4, and FMI 3.0.

Note that bug fixes will be applied to the 1.1.3-SNAPSHOT version.

VDMCheck 1.1.1

This is the 1.1.1 release of VDMCheck.

It works with FMI2 schema 2.0 and FMI3 schema 3.0-beta.2.

This release enables better integration of the tool with Maestro.

VDMCheck 1.1.0

This is the 1.1.0 release of VDMCheck.

It works with FMI2 schema 2.0 and FMI3 schema 3.0-beta.2.

This release automatically converts the FMI XSD schema into a VDM-SL schema and translates XML configuration files into VDM-SL. It is therefore packaged with a specific XSD version and validates XML files against that schema before attempting to check the content. Look out for SNAPSHOT updates as the FMI schema is updated to later beta releases.

VDMCheck 1.0.2

The 1.0.2 release of VDMCheck for FMI2 and FMI3, currently in SNAPSHOT.

Build 201125, added unique error numbers for each @OnFail.
Build 201203, FMI2: corrected a variable name parse error and improved error message 1030 (InitialUnknowns)
Build 210212, Final release

VDMCheck 1.0.0

The 1.0.0 release.