|Date||02 May 2021, 12:00 CET|
|Participants||PGL, NB, HM, JR, KP, TO. Minutes by NB.|
KP gave a summary of the current open Requests for Clarification and Modification with the Language Board.
The full list of open issues is here.
No major updates
Add Library feature is ready for testing and merging. Right-clicking on the Files explorer in a folder that has a VDM client on or vdm files in the top folder, an Add VDM Library button appears. Changed the activation to catch workspaces that contain vdm files on the top folder. Added a dialect field in the SLSP class so when client is on we just use the dialect in it. In case that is not found we try to match a .vdmsl/.vdmpp/.vdmrt file.
Working towards coverage and later FMU generation. Added Server-side support for coverage data generation by an extension of the SLSP “translate” request.
PGL will look into using VSCode for students in the summer.
Now that a new VSCode feature has been added, it was decided to schedule a new release of the extension, and in future to follow a “rolling release” style, where releases are made on a frequent basis, with small functional enhancements.
It was suggested that the VSCode extension is moved from a JR private Github account to either INTO-CPS or (more likely) OvertureTool. HM/JR to progress.
See download stats on the downloads page
For VSCode see status on the extension page
The CFP is out and everyone is encouraged to submit paper proposals.
The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.
Planned Publications will be updated by HM.
PGL stated his intention to stand down as the Convener of these Overture net meetings, handing the batton over to HM. We thank Peter for his efforts over the years and look forward to working with Hugo in the chair in future. Peter will, of course, still be involved with Overture as far as possible.