Skip to content

4.8.0-SNAPSHOT Release

Pre-release
Pre-release

Choose a tag to compare

@nickbattle nickbattle released this 14 Apr 09:02
· 55 commits to master since this release

This is the snapshot of the upcoming 4.8.0 release. It is initially the same as 4.7.0.

The following fixes/changes have been made since 4.7.0:

  • Fix for bug #80 (for-index loop @loopinvariant problem)
  • Fix for bug #81 (while loops with conditions that change state)
  • Fix for bug #82 ('quit' command should dump RT logs)
  • Fix for bug #83 (correction for inter-module op call obligations)

The VDM-VSCode 2.0.1 VSIX included below is a patched version of 2.0.0 that includes the latest 4.8.0-SNAPSHOT fixes, as well as the following GUI enhancements: