diff --git a/README.md b/README.md index 0c02323e..b57f7f18 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ ViennaTalk is a Smalltalk library to handle VDM-SL specifications. Downloads --- -The latest release: [
Lyon
 
](https://github.com/tomooda/ViennaTalk/releases/latest/) +The latest release: [
Waikiki
 
](https://github.com/tomooda/ViennaTalk/releases/latest/) * macOS / AppleSilicon [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0&style=flat&logoColor=white&logo=DocuSign)](https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-arm64.dmg) * macOS / Intel processor [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0&style=flat&logoColor=white&logo=DocuSign)](https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-x64.dmg) * Linux / Intel processor [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0&style=flat&logoColor=white&logo=DocuSign)](https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-linux-x64.tar.bz2) diff --git a/docs/Releases.md b/docs/Releases.md index a3ba96f1..9d5571fb 100644 --- a/docs/Releases.md +++ b/docs/Releases.md @@ -1,12 +1,20 @@ Major releases of ViennaTalk (lastest top) --- +* Codename Waikiki has been released. (Jan 7, 2025) + - 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 + * Codename Lyon has been released. (Apr 30, 2024) - 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 - - ranspiler can be used as an alternative interpreter. + - Transpiler can be used as an alternative interpreter. - Support traces definitions - Migration to Pharo 12 diff --git a/docs/_config.yml b/docs/_config.yml index a4a9c10d..78fca550 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -3,7 +3,7 @@ plugins: - jekyll-remote-theme # add this line to the plugins list if you already have one title: ViennaTalk description: Live and Formal -release: Lyon +release: Waikiki gihub: arm_mac_url: https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-arm64.dmg intel_mac_url: https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-x64.dmg diff --git a/docs/index.md b/docs/index.md index f3c2e816..3a0f9f18 100644 --- a/docs/index.md +++ b/docs/index.md @@ -37,14 +37,13 @@ Table of Major Components of ViennaTalk What's new in the latest release --- -* Codename Lyon has been released. (Apr 30, 2024) - - 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 - - ranspiler can be used as an alternative interpreter. - - Support traces definitions - - Migration to Pharo 12 +* Codename Waikiki has been released. (Jan 7, 2025) + - 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 * [Past Releases](Releases.md)