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

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
github.com/tomooda/Vien...
#pharo #vdm #vdmsl #formalmethods