diff --git a/.changelog/unreleased/bug-fixes/Rust/147-unexpected-jars.md b/.changelog/v0.4.1/bug-fixes/Rust/147-unexpected-jars.md similarity index 100% rename from .changelog/unreleased/bug-fixes/Rust/147-unexpected-jars.md rename to .changelog/v0.4.1/bug-fixes/Rust/147-unexpected-jars.md diff --git a/.changelog/unreleased/bug-fixes/Rust/152-148-fix-concurrent-tlc.md b/.changelog/v0.4.1/bug-fixes/Rust/152-148-fix-concurrent-tlc.md similarity index 100% rename from .changelog/unreleased/bug-fixes/Rust/152-148-fix-concurrent-tlc.md rename to .changelog/v0.4.1/bug-fixes/Rust/152-148-fix-concurrent-tlc.md diff --git a/.changelog/unreleased/improvements/Go/146-smoother-go-build.md b/.changelog/v0.4.1/improvements/Go/146-smoother-go-build.md similarity index 100% rename from .changelog/unreleased/improvements/Go/146-smoother-go-build.md rename to .changelog/v0.4.1/improvements/Go/146-smoother-go-build.md diff --git a/.changelog/unreleased/improvements/Rust/135-bump-apalache.md b/.changelog/v0.4.1/improvements/Rust/135-bump-apalache.md similarity index 100% rename from .changelog/unreleased/improvements/Rust/135-bump-apalache.md rename to .changelog/v0.4.1/improvements/Rust/135-bump-apalache.md diff --git a/.changelog/unreleased/notes/Rust/137-jar-dir.md b/.changelog/v0.4.1/notes/Rust/137-jar-dir.md similarity index 100% rename from .changelog/unreleased/notes/Rust/137-jar-dir.md rename to .changelog/v0.4.1/notes/Rust/137-jar-dir.md diff --git a/.changelog/unreleased/summary.md b/.changelog/v0.4.1/summary.md similarity index 100% rename from .changelog/unreleased/summary.md rename to .changelog/v0.4.1/summary.md diff --git a/.github/workflows/prepare-release.yml b/.github/workflows/prepare-release.yml index 91dcca1b..55ce5850 100644 --- a/.github/workflows/prepare-release.yml +++ b/.github/workflows/prepare-release.yml @@ -61,6 +61,18 @@ jobs: run: | ./scripts/prepare_release.sh + - name: Install Rust stable toolchain + uses: actions-rs/toolchain@v1 + with: + profile: minimal + toolchain: stable + override: true + + - name: Rust publish + working-directory: ${{ env.RUST_DIR }}/modelator + run: | + cargo publish --dry-run + - name: Setup Go uses: actions/setup-go@v2 @@ -79,15 +91,3 @@ jobs: working-directory: ${{ env.PYTHON_DIR }} run: | poetry publish --username u --password p --build --dry-run - - - name: Install Rust stable toolchain - uses: actions-rs/toolchain@v1 - with: - profile: minimal - toolchain: stable - override: true - - - name: Rust publish - working-directory: ${{ env.RUST_DIR }}/modelator - run: | - cargo publish --dry-run diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 9a958718..28c2a950 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -59,6 +59,18 @@ jobs: - name: Tag on main and make a Github release run: ./scripts/github_release.sh + - name: Install Rust stable toolchain + uses: actions-rs/toolchain@v1 + with: + profile: minimal + toolchain: stable + override: true + + - name: Rust publish + working-directory: ${{ env.RUST_DIR }}/modelator + run: | + cargo publish + - name: Setup Go uses: actions/setup-go@v2 @@ -78,15 +90,3 @@ jobs: run: | # poetry publish --build echo "Skipping Python package" - - - name: Install Rust stable toolchain - uses: actions-rs/toolchain@v1 - with: - profile: minimal - toolchain: stable - override: true - - - name: Rust publish - working-directory: ${{ env.RUST_DIR }}/modelator - run: | - cargo publish diff --git a/CHANGELOG.md b/CHANGELOG.md index ee51d1ca..ca72cb8f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,27 @@ # CHANGELOG +## v0.4.1 + +Various fixes and improvements. + +### BUG FIXES + +- Rust + - Fix panics at unexpected jars. (#151) + - Fix concurrent TLC execution. (#152) + +### IMPROVEMENTS + +- Go + - Smoother Go build. (#146) +- Rust + - Update Apalache to `v0.17.5`. (#135) + +### NOTES + +- Rust + - A unique directory to store model-checker jars. (#137) + ## v0.4.0 Like the last minor release, this is another massive refactoring release. @@ -10,25 +32,25 @@ Like the last minor release, this is another massive refactoring release. ### FEATURES - Go - Modelator-go for Golang. - Implemented step runner. + - Modelator-go for Golang. + - Implemented step runner. - Rust - Event stream API. - Support for parallel tests. + - Event stream API. + - Support for parallel tests. ### IMPROVEMENTS - Rust - Huge rework on modelator-rs API and CLI. - Better parsers for TLA+ traces. - Execute model checkers in temporary directories to avoid clutters. + - Huge rework on modelator-rs API and CLI. + - Better parsers for TLA+ traces. + - Execute model checkers in temporary directories to avoid clutters. ### TEST - General - CI Workflow matrix for Windows, MacOS, and Linux. + - CI Workflow matrix for Windows, MacOS, and Linux. - Rust - Large integration test. + - Large integration test. ## v0.3.2 diff --git a/py/pyproject.toml b/py/pyproject.toml index 4d7fb3d1..339beb47 100644 --- a/py/pyproject.toml +++ b/py/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "modelator" -version = "0.4.0" +version = "0.4.1" description = "Python bindings of Modelator" license = "Apache-2.0" authors = ["Ranadeep Biswas "] diff --git a/rs/Cargo.lock b/rs/Cargo.lock index fdb714b9..54aa1e5d 100644 --- a/rs/Cargo.lock +++ b/rs/Cargo.lock @@ -376,7 +376,7 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "modelator" -version = "0.4.0" +version = "0.4.1" dependencies = [ "clap", "clap_generate", diff --git a/rs/modelator/Cargo.toml b/rs/modelator/Cargo.toml index 28ed6547..acfb21fe 100644 --- a/rs/modelator/Cargo.toml +++ b/rs/modelator/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "modelator" description = "A framework and tools for model-based testing." -version = "0.4.0" +version = "0.4.1" edition = "2021" rust-version = "1.56" license = "Apache-2.0"