Skip to content

VDMCheck 1.0.2

Compare
Choose a tag to compare
@nickbattle nickbattle released this 03 Dec 14:09
· 610 commits to development since this release

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