·
194 commits
to master
since this release
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).