Skip to content

4.7.0-SNAPSHOT Release

Pre-release
Pre-release
Compare
Choose a tag to compare
@nickbattle nickbattle released this 26 Sep 07:40
· 193 commits to master since this release
4.7.0-1
4c9fc39

This is the snapshot release of the upcoming 4.7.0 release of VDMJ.

Note: the release removes the classes and methods deprecated in the 4.5.0 release.

The VSIX file is a patched version of the 1.5.0 VDM-VSCode extension that uses this VDMJ snapshot. It fixes the following issues in 1.5.0:

  • VDMUnit libraries now include @NoPOG annotations
  • The POG view is corrected so that dynamic changes to the specification are visible to QuickCheck
  • The vsix.sh script allows a patch to change the version of VDMJ artifacts
  • More operation POs are now analysable by QuckCheck
  • A new code lens has been added for launching PO counterexamples "inline"
  • Change POG timeout to use milliseconds - remember to update .vscode/quickcheck.json
  • MAYBE QC results now check for PO variables that may not have been reasoned about, as a warning.
Assets 5
Loading