[RELEASE] v0.4.2 (#164)

Co-authored-by: rnbguy <[email protected]>
informalsystems · Jan 17, 2022 · 794ba1b · 794ba1b
1 parent 912072a
commit 794ba1b
Show file tree

Hide file tree

Showing 7 changed files with 12 additions and 3 deletions.
diff --git a/...unreleased/rust/157-support-ranged-set.md → ...log/v0.4.2/rust/157-support-ranged-set.md b/...unreleased/rust/157-support-ranged-set.md → ...log/v0.4.2/rust/157-support-ranged-set.md
diff --git a/.changelog/unreleased/rust/162-clap-v3.md → .changelog/v0.4.2/rust/162-clap-v3.md b/.changelog/unreleased/rust/162-clap-v3.md → .changelog/v0.4.2/rust/162-clap-v3.md
diff --git a/.changelog/unreleased/summary.md → .changelog/v0.4.2/summary.md b/.changelog/unreleased/summary.md → .changelog/v0.4.2/summary.md
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,14 @@
 # CHANGELOG
 
+## v0.4.2
+
+Few fixes and dependency improvements.
+
+### RUST
+
+- Parse ranged sets from TLA states. (#157)
+- `clap` v3 (#162)
+
 ## v0.4.1
 
 Various fixes and improvements.

diff --git a/py/pyproject.toml b/py/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "modelator"
-version = "0.4.1"
+version = "0.4.2"
 description = "Python bindings of Modelator"
 license = "Apache-2.0"
 authors = ["Ranadeep Biswas <[email protected]>"]

diff --git a/rs/Cargo.lock b/rs/Cargo.lock
diff --git 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.1"
+version = "0.4.2"
 edition = "2021"
 rust-version = "1.56"
 license = "Apache-2.0"