VDMCheck 1.0.2
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