Release 1.4.0-beta

v1.4.0-beta.14

• Fix default enabled plugins not always being enabled for users updating from an earlier version of the extension.
• Enable uml as default plugin.
• Improve alignment of filter and buttons in Proof Obligation View.
• Improve warning message added in 1.4.0-beta.12, so it only displays when proof obligation fails.

v1.4.0-beta.13

• Change extension configuration of VDMJ release to be an enumeration of "vdm10" and "classic"
• Add workspace settings.json to all classic examples

v1.4.0-beta.12

• Add extension configuration to enable VDM classic release.
• Change PO view title to also include file name if PO generation was run on a single file, as opposed to the entire workspace folder.
• Add a warning message in the PO view if no POs are available.
• Fix bug in multi-root workspaces, where QuickCheck requests would be sent to the incorrect VDMJ instance.

v1.4.0-beta.11 (released onto the VS Code Marketplace as 1.4.0)

• Fix incorrect highlighting of character literals by reverting changes to syntax highlighting.

v1.4.0-beta.10

• QuickCheck panel UI improvements
  • Static position at bottom of PO view.
  • Utilize space in panel more efficiently
  • Make UI more stable
• Increase default QuickCheck timeout to 5 seconds.
• Enable QuickCheck plugin by default.

v1.4.0-beta.9

• Annotation management improvements, show built-in annotations in UI.
• Fix: add annotations.json to built-in annotations jar so it is detected.

v1.4.0-beta.8

• Update VDMJ plugin jars - add plugin.json metadata to UML plugin/
• Add/update VDMJ HP jars and QuickCheck plugin.
• Add annotation management UI.
• Clean up handling of VDMJ extensions, i.e. libraries, plugins, annotations. They all share common search path now.

v1.4.0-beta.7

• Update VDMJ plugin jars - add plugin.json metadata to QuickCheck plugin
• Add plugin management UI.
• Improve library addition functionality to also show user-defined libraries.

v1.4.0-beta.6

• Update VDMJ jars.
• Fix bug that would cause POG view to blank on QuickCheck results without launch command.

v1.4.0-beta.5

• Show incremental progress during QuickCheck runs.

v1.4.0-beta.4

• Add visual progress indicator when QuickCheck is running.
• Show cancel button instead of "Run QuickCheck" during long-running QuickCheck.

v1.4.0-beta.3

This pre-release includes improvements and bug-fixes to the QuickCheck integration:

• QuickCheck now only runs on the visible subset of proof obligations.
• Fixed bug where QuickCheck info would become stale when changing settings and subsequently running QuickCheck.

v1.4.0-beta.2

This pre-release includes improvements to the QuickCheck integration as well as multiple bug-fixes.

• Fix char literals syntax highlighting (issue #190)
• Fix name of generated debug configuration (issue #214)
• Fix code lenses on polymorphic functions (issue #188)
• Add the ability to configure QuickCheck using JSON

v1.4.0-beta.1

This is the first pre-release leading up to version 1.4.0 that will feature support for the QuickCheck plugin. Changes include:

• Updated VDMJ jars to 4.6.0-SNAPSHOT
• Added QuickCheck plugin jar 4.6.0-SNAPSHOT
• Rewrite of Proof Obligation webview using React.
• Added QuickCheck functionality into Proof Obligation view.