NetMeeting 144

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Status of ViennaTalk Development

• Codename Milan has been released (Apr 2, 2025)

  • new Launcher UI: Models menu for quick access to open your model directories under Documents/ViennaTalk/.
  • Hi-De-Ho integration: You can manage micro-versions to safely explore design choices.
  • git repository support: You can clone a git repository to your local directory and push/pull/commit/merge.
  • on-file syntax debugger: On-file syntax debugger opens when you tried to open a syntactically erroneous model on the Refactoring Browser.
  • experimental native window support: In the settings dialog, you can turn-on ViennaTalk»Appearances/use Native multi-windows checkbox to use separate windows.
  • misc maintenance worksː Lively Walk-Through is now back in operational and minor improvements on GUIs have been done.
• Development branch Nowhere
  • Mutation testing: testcases and named traces are evaluated by mutation testing

Status of the Overture Components

VDMJ and VDM-VSCode

There continues to be progress in the POG of VDMJ, specifically for operation POs. This is the subject of a paper submitted to OVT-23.

Release Planning

VDM-VSCode

VDMJ’s 4.7.0-SNAPSHOT has quite a lot of new POG functionality now (see above), and a release of 1.5.x is probably overdue. There is a patched VSIX available on the VDMJ release site, with just the VDMJ jars updated.

Community Development

Overture Traffic

See download stats on number of installs.

OVT-23

Publications Status and Plans

Also see Planned Publications.

Any Other Business