Merge BlockstreamResearch#366: Bump to 0.8.0

ff10d80 bump to 0.8.0 (ivanlele)

Pull request description:

  


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


Tree-SHA512: 553e171cff6d2a2a66ad31d6bae005561be34f1cb4a0a1972d172ed5065dc49735ce097ad716e3acd53809b01f0939ea885870ad293848fd8debabb890ceb4c9

Author: apoelstra

CHANGELOG.md

@@ -1,4 +1,4 @@
-# 0.7.1 - 2026-05-06
+# 0.8.0 - 2026-05-28
 
 * 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)

Cargo-recent.lock

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

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "simplicity-lang"
-version = "0.7.1"
+version = "0.8.0"
 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.1" }
+simplicity-lang = { path = "..", features = ["test-utils", "human_encoding"], version = "0.8.0" }
 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.1", path = "..", features = [ "base64", "serde", "elements", "human_encoding" ] }
+simplicity-lang = { version = "0.8.0", path = "..", features = [ "base64", "serde", "elements", "human_encoding" ] }
 
 [[bin]]
 name = "simpcli"