極端流仕様𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣Dec 24
ViennaTalk "Gdansk" is released.
New features includes:
* Mutation testing to evaluate your testcases
* Execution traces to visualize the execution in State Diagram and Sequence Diagram
https://github.com/tomooda/ViennaTalk/releases/tag/gdansk
#pharo #vdm #vdmsl #formalmethods
Release Gdansk · tomooda/ViennaTalk

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

GitHub