Skip to content

Lyon

Choose a tag to compare

View all tags
@tomooda tomooda released this 30 Apr 04:59
Lyon
e95f9df

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.


Assets 6
Loading