Gdansk

This is a major release of Codename Gdansk. (Dec 24, 2025)


Download from Official distribution site.

Major updates are

• improved git repository support: You can merge the current working copy into the origin by resolving conflicts on top-level definitions.
• mutation testing: The system evaluates the testcases and combinatorial tests by mutating the original specification.
• full execution traceː The system records all assignment/call/return statements with actual values and visualize them as state diagrams and sequence diagrams.
• experimental profilersː The profiler catches all assignment to the variables and operation calls to help estimating the performance of implementation.
• misc improvementsː bugfixes on type checkers and etc.

NOTE:
The transpiler is used as the default execution engine instead of VDMJ because the running environment of VDMJ is now unstable due to incompatibility of the latest JRE.

Milan

This is a major release of Codename Milan. (Apr 2, 2025)


Download from Official distribution site.

Major updates are

• 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.

NOTE:
The transpiler is used as the default execution engine instead of VDMJ because the running environment of VDMJ is now unstable due to incompatibility of the latest JRE.

Waikiki

This is a major release of Codename Waikiki. (Jan 7, 2025)


Major updates are

• EpiLog/HiDeHo for exploration support
  • Dynamic and contextual extraction of a series of versions
• Refactoring browser as the default editor for VDM-SL
• Unit tests and traces are run integrated in the test runner on the Refactoring browser.
• The execution contexts of failed tests are saved and directly debuggable
• Adopted the new Pharo debugger architecture in Pharo 12

NOTE:
The transpiler is used as the default execution engine instead of VDMJ because the running environment of VDMJ is now unstable due to incompatibility of the latest JRE.

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.