Skip to content

4.6.0 Release

Choose a tag to compare

View all tags
@nickbattle nickbattle released this 23 Sep 09:12
· 1047 commits to master since this release
4.6.0-release
f76b01b

This is the 4.6.0 release of VDMJ.

The release mainly focusses on adding the necessary support to enable QuickCheck to be used effectively via the LSP protocol in the VDM-VSCode extension (which is available in release 1.5.0).

Assets 4
Loading