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.