|Date||07 November 2021, 12:00 CEST|
|Participants||PGL, KP, NB, TO, MV Minutes by HDM|
The full list of open issues is here.
Progress was made on clarifying/unifying the let/def behaviours among different tools.
No major change.
There will be a major release this year to adopt the new debugger architecture of the updated major version of Pharo Smalltalk. The refactoring browser will also be available in the planned major release.
New release for the TR-007: Overture VDM VSCode Extension: User Guide made last month.
There is a new VSCode 1.2.2 in preparation. This includes “exception breakpoints” (the ability to stop on particular VDM “exit” statements), and a new LSP HLD to describe the basic design of the language server. There will also be support for “code lenses” that appear above functions or operations, which allow them to be launched or debugged without the tedious process of setting up a launch configuration. It will also support remote control operation of a VDM specification. And lastly, it supports the simple inclusion of plugins to handle extended (ie. unknown!) LSP requests - this is how Leo has managed to incorporate the Isabelle translation. You simply add the plugin jar to the classpath.
See download stats on the downloads page
For VSCode see status on the extension page
We had 16 participants with us at Aarhus University and 38 attendees in the online session. The slides are now available in the workshop page. The most important outcome was the idea of a hackathon to be held next year! 20th workshop should also be memorable and maybe organized on 2023.
The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.