|Date||17 May 2020|
|Participants HDM, LF, NB, PGL, SS, TO||Minutes by HDM|
A list of actions can here found here.
ViennaTalk “Hakodate” has been released. https://github.com/tomooda/ViennaTalk/releases/tag/Hakodate
The major update is ViennaVisuals, which provides a DOM operation library to generate XML-based document models including SVG (Scalable Vector Graphics) and XHTML. Events on document elements can be handled by operations in VDM.
No major changes.
Futa Hirakoba is working on hover and completion functionalities, but hasn’t reached a new release.
VDMJ Some nasty (but obscure) VDMJ bugs fixed over the summer - corresponding fixes made to Overture too.
Overture 3.0.0 has finally been released. This release contains several additions and improvements, and Overture now runs on top of Java 8, 9, 10, and 13. It is also possible to run on top of Java 14 with the development version Overture 3.0.1. We are currently testing the most recent Eclipse platform 2020-09, which will be officially released on the 16th of September.
A new LSP feature now available which provides VDMJ language services (all dialects) to an LSP/DAP client, such as VSCode. This also enables us to use the @Annotation features of VDMJ as they were intended - ie. errors in annotation comments are highlighted and they execute as intended when a spec is processed. See README and screen-shots at https://github.com/nickbattle/vdmj/tree/master/LSP. Note that there are no awkward licence restrictions by taking this route (unlike the Eclipse licence in Overture).
We expect to release Overture 3.0.2 very soon after the official release of Eclipse 2020-09.
See comments above regarding licensing and the LSP feature.
See Planned Publications.