|Date||14 February 2021|
|Participants PGL, MV, HDM, NB, KP||Minutes by KP|
A list of actions can here found here.
Ken will continue as Convener, Tomo as Secretary. Four people nominated themselves so far, we at least one more for a quorum, so Hugo kindly volunteered.
No major change.
No major change.
VDMJ has been updated to support VSCode problems, so mainly in the LSP Server.
A recent change to enable nested block comments was added, though has caused some concern when applied to Overture. This is currently submitted to the Language Board as a Request for Clarification.
The “VDM VS Code” extension for VSCode has been released and is now at version 1.0.5. To allow rapid bug fixing, we’ve adopted the convention that increments in the third digit of the version number indicate “snapshot” builds of the next 1.1.0 baselined release. This means we have been able to get fixes for the several small issues that people have found - the extension automatically updates when a new version is available. The release seems stable and we’re encouraging our power users to take a look, to stress the system (ie. Paul, Leo and others).
VSC 1.1.0 to be released soon. New Overture release in the next two weeks.
The plan is to have the next Overture workshop on the 22nd of October 2021 physically in AArhus (but also accessible on-line) with Casper Thule and Ken Pierce as the programme committee chairs and Hugo Macedo as the organising chair. CfP will be out in a few weeks.
Regarding VSC the extensions will all move to GPLv3 to align with VDMJ, using SPFX strings to ensure machine-readability of the license. The medium- to long-term plan will be to move over to VSC once the features are all there.
See Planned Publications.