Overture NetMeeting 131

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Nick Battle, Anne Haxthausen, Ken Pierce, Hugo Daniel Macedo, Leo Freitas and Tomohiro Oda are elected as language board memers.

Open Requests

The full list of open issues is here.

Progress was made on clarifying/unifying the let/def behaviours among different tools.

Status of VDMTools/ViennaTalk

VDMTools

No major progress

ViennaTalk

The second revision of ViennaTalk Boulder has been released. (Feb 25, 2022)

• experimental support for UTF-8 file pathnames.
• new PharoVM for Apple Silicon processors.
• IM (Input Method for typing multi-byte characters, e.g. for Chinese, Japanese, Korean and Vietnamese languages) support with inline input buffers.
• minor fixes

Status of the Overture Components

There has been a request to publish overture with annotations as an artifact. We will look into this.

VDM for VSCode

Jonas has been refactoring and extending the features of VSCode. Leo visited AU and progress was made in terms of supporting the isabelle translation and other related proof support.

Release Planning

Community Development

Overture Traffic

See download stats on the downloads page

For VSCode see status on the extension page

Overture Workshop

This year’s workshop page.

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.

Publications Status and Plans

Planned Publications

Any Other Business