·
13 commits
to quickcheck_integration
since this release
This release stabilizes the addition of the QuickCheck integration and updates the VDMJ JARs to the new stable 4.6.0 version. The changes in this release include:
- Update VDMJ JARs to stable 4.6.0 release.
- Fix default enabled plugins not always being enabled for users updating from an earlier version of the extension.
- Enable
umlas default plugin. - Minor improvements to Proof Obligation view.
- Add extension configuration of VDMJ release mode. Classic release can now be enabled.