Merge BlockstreamResearch#364: Bump simplicity version

00d3625 Bump rust-simplicity version (ivanlele)

Pull request description:

  


ACKs for top commit:
  apoelstra:
    ACK 00d3625; successfully ran local tests


Tree-SHA512: 15aa9ee1a8ee8e0820cdcf3d9e5813f72e502c8a9ca11732889a771426f55e9c21e26ac0754446ba9d27e1f6e400823753264b640d0180f768492e3ade9d8a08

Author: apoelstra

CHANGELOG.md

@@ -1,3 +1,17 @@
+# 0.7.1 - 2026-05-06
+
+* Add runtime jet type check in `Context` [#361](https://github.com/BlockstreamResearch/rust-simplicity/pull/361)
+* Migrate execution to dynamic dispatch [#360](https://github.com/BlockstreamResearch/rust-simplicity/pull/360)
+* Move the `Jet` codec and parser towards object-safety [#358](https://github.com/BlockstreamResearch/rust-simplicity/pull/358)
+* Lock `human_encoding` module behind a feature flag [#357](https://github.com/BlockstreamResearch/rust-simplicity/pull/357)
+* Fix `get_padding` for larger costs and padding lengths [#356](https://github.com/BlockstreamResearch/rust-simplicity/pull/356)
+* Rewrite the `human_encoding` lexer and parser using `logos` [#354](https://github.com/BlockstreamResearch/rust-simplicity/pull/354)
+* Separate `Jet` env from the `Jet` trait [#351](https://github.com/BlockstreamResearch/rust-simplicity/pull/351)
+* Fix value bit corruption in `right_shift` [#348](https://github.com/BlockstreamResearch/rust-simplicity/pull/348)
+* Fix FFI type layout for Android [#347](https://github.com/BlockstreamResearch/rust-simplicity/pull/347)
+* Add API to output programs as Graphviz and Mermaid diagrams [#344](https://github.com/BlockstreamResearch/rust-simplicity/pull/344)
+* Fix FFI for platform-specific `uint_fast` types on macOS and Android [#334](https://github.com/BlockstreamResearch/rust-simplicity/pull/334)
+
 # 0.7.0 - 2025-12-11
 
 * Improve `Display` for `Value` in several ways [#328](https://github.com/BlockstreamResearch/rust-simplicity/pull/328)

Cargo-recent.lock

@@ -547,7 +547,7 @@ checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
 name = "simpcli"
 version = "0.3.0"
 dependencies = [
- "simplicity-lang 0.7.0",
+ "simplicity-lang 0.7.1",
 ]
 
 [[package]]
@@ -557,7 +557,7 @@ dependencies = [
  "base64 0.22.1",
  "libfuzzer-sys",
  "simplicity-lang 0.3.1",
- "simplicity-lang 0.7.0",
+ "simplicity-lang 0.7.1",
 ]
 
 [[package]]
@@ -577,7 +577,7 @@ dependencies = [
 
 [[package]]
 name = "simplicity-lang"
-version = "0.7.0"
+version = "0.7.1"
 dependencies = [
  "bitcoin",
  "bitcoin_hashes",

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "simplicity-lang"
-version = "0.7.0"
+version = "0.7.1"
 authors = ["Andrew Poelstra <apoelstra@wpsoftware.net>"]
 license = "CC0-1.0"
 homepage = "https://github.com/BlockstreamResearch/rust-simplicity/"

fuzz/Cargo.toml

@@ -16,7 +16,7 @@ path = "fuzz_lib/lib.rs"
 libfuzzer-sys = "0.4"
 # We shouldn't need an explicit version on the next line, but Andrew's tools
 # choke on it otherwise. See https://github.com/nix-community/crate2nix/issues/373
-simplicity-lang = { path = "..", features = ["test-utils", "human_encoding"], version = "0.7.0" }
+simplicity-lang = { path = "..", features = ["test-utils", "human_encoding"], version = "0.7.1" }
 old_simplicity = { package = "simplicity-lang", version = "0.3.1", default-features = false }
 
 [dev-dependencies]

simpcli/Cargo.toml

@@ -7,7 +7,7 @@ edition = "2018"
 
 [dependencies]
 # todo add lexopt for command line parsing
-simplicity-lang = { version = "0.7.0", path = "..", features = [ "base64", "serde", "elements", "human_encoding" ] }
+simplicity-lang = { version = "0.7.1", path = "..", features = [ "base64", "serde", "elements", "human_encoding" ] }
 
 [[bin]]
 name = "simpcli"