Lyon

This is a major release of Codename Lyon. (Apr 30, 2024)


Major updates are

• Specification slicing for VDM-SL
• New UI design for Refactoring Browser
  • Playground with state variables table
  • EpiLog to journal and version specification changes and evaluations
• Transpiler can be used as an alternative interpreter.
• Support traces definitions
• migration to Pharo 12

NOTE:
VDMJ runs on the Java 17 VM or earlier. If you have newer versions, please install Java 17 and versions switching mechanism.
On Windows platforms, ViennaTalk will use the public VDMPad server or the transpiler to animate specifications.


[Firenze] Prebuilt packages for Mac, Windows and Linux

This is a major release of Codename Firenze. (May 19, 2023)


Major updates are

• migration to Pharo 11

NOTE:
On Windows platforms, ViennaTalk will use the public VDMPad server to animate specifications.

On Linux platforms, IM support needs the replacement of libSDL in the VM's plugin directory by hand.

[Graz] Prebuilt packages for Mac, Windows and Linux

This is a major release of Codename Graz. (May 5, 2022, binaries updated on Dec 9, 2022)

Major updates are

• migration to Pharo 10
• IM supports by default
• FRAM collaboration support
  • Import operations from FRAM functions
  • Export operations to FRAM functions and aspects

NOTE:
On Windows platforms, ViennaTalk will use the public VDMPad server to animate specifications.

On Linux platforms, IM support needs the replacement of libSDL in the VM's plugin directory by hand.
Updates on Dec 9 fix migration issue of Lively WalkThrough into Pharo 10

[Boulder] Prebuilt packages for Mac, Windows and Linux

This is a minor release of Codename Boulder. (Feb 25, 2022)


Major updates are

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

NOTE: On Windows platforms, ViennaTalk will use the public VDMPad server to animate specifications.
On Linux platforms, IM support needs the replacement of libSDL in the VM's plugin directory by hand.

[Boulder] Prebuilt packages for Mac, Windows and Linux

Codename Boulder has been released. (Dec 31, 2021)


Major updates are

• Refactoring browser based on AST manipulations is now experimentally available.
• ViennaTalk is now based on Pharo 9.

NOTE: On Windows platforms, ViennaTalk will use the public VDMPad server to animate specifications.

[Hakodate] Prebuilt packages for Mac, Windows and Linux

Codename Hakodate has been released. (Sep 4, 2020)
Major updates are

• ViennaVisuals: a DOM library to generate XML document and bind UI events on DOM elements to handler operations
• misc minor fixes

NOTE: Windows version is reverted to 32bit due to limitation of ProcessWrapper.

[Porto] Prebuilt packages for Mac, Windows and Linux

This is a maintenance release.

[Porto] Prebuilt packages for Mac, Windows and Linux

This is a maintenance update of ViennaTalk porto.

[Porto] Prebuilt packages for Mac, Windows and Linux

Codename Porto has been released. (Feb 5, 2020)

Major updates are

• Base Pharo is upgraded to Pharo 8.0.
• Better UI for Unit Testing on VDMBrowser.

While Mac and Linux version use 64bits VM, Windows version still use 32 bits version.
Local VDMJ process can be run on Mac, Linux, and Windows.

[Cologne] Prebuilt packages for Mac, Windows and Linux

Codename Cologne has been released. (Aug 8, 2019)

Major updates are

Base Pharo is upgraded to Pharo 7.0.4.
JavaScript library to use ViennaServer or VDMPad to evaluate VDM-SL.
ViennaDoc is a documentation tool to create an animatable and testable documentation.

While Mac and Linux version use 64bits VM, Windows version still use 32 bits version.
Local VDMJ process can be run on Mac, Linux, and Windows.