·
55 commits
to master
since this release
This is the 4.7.0 release of VDMJ. It is built into the 2.0.0 release of VDM-VSCode.
The release focusses on stronger support for proof obligations for VDM-SL loops and recursive operations, and improved strategies for the QuickCheck tool.