Merge #134: Update rust-simplicity dep and prepare for initial release

d9af242 change version to 0.2 (Andrew Poelstra)
8463a38 update simplicity to 0.5.0 (Andrew Poelstra)
3fc864e clippy: whitelist SimplicityHL in doc_markdown lint (Andrew Poelstra)

Pull request description:

  No major changes (well, many changes since simfony 0.1 in April); but we are ready to release under the new name.


Top commit has no ACKs.


Tree-SHA512: ae89980232c08a6418c37c37adacf8fb814f2d88c05ce17153eb0b0ecb6f7321afad04e7095442e1efa34232389ffc2daeef4f6e535aeaf4493f495c496f4140

Author: apoelstra

CHANGELOG.md

@@ -1,3 +1,4 @@
-# 0.1.0 - 2025-04-10
+# 0.2.0 - 2025-07-29
 
+* Renamed from [Simfony](https://crates.io/crates/simfony)
 * Initial release. Not recommended for production use.

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "simplicityhl"
-version = "0.1.0"
+version = "0.2.0"
 authors = ["sanket1729 <sanket1729@gmail.com>"]
 license = "CC0-1.0"
 homepage = "https://github.com/BlockstreamResearch/SimplicityHL"
@@ -26,7 +26,7 @@ pest = "2.1.3"
 pest_derive = "2.7.1"
 serde = { version = "1.0.188", features = ["derive"], optional = true }
 serde_json = { version = "1.0.105", optional = true }
-simplicity-lang = { version = "0.4.0" }
+simplicity-lang = { version = "0.5.0" }
 miniscript = "12.3.1"
 either = "1.12.0"
 itertools = "0.13.0"

Cargo.toml

@@ -1,3 +1,5 @@
 msrv = "1.78.0"
 # We have an error type, `RichError`, of size 144. This is pushing it but probably fine.
 large-error-threshold = 145
+
+doc-valid-idents = [ "SimplicityHL" ]

clippy.toml

@@ -405,7 +405,7 @@ mod tests {
     impl TestCase<SatisfiedProgram> {
         #[allow(dead_code)]
         pub fn print_encoding(self) -> Self {
-            let (program_bytes, witness_bytes) = self.program.redeem().encode_to_vec();
+            let (program_bytes, witness_bytes) = self.program.redeem().to_vec_with_witness();
             println!(
                 "Program:\n{}",
                 Base64Display::new(&program_bytes, &STANDARD)

src/lib.rs

@@ -79,7 +79,7 @@ fn run() -> Result<(), String> {
 
     if let Some(witness) = witness_opt {
         let satisfied = compiled.satisfy(witness)?;
-        let (program_bytes, witness_bytes) = satisfied.redeem().encode_to_vec();
+        let (program_bytes, witness_bytes) = satisfied.redeem().to_vec_with_witness();
         println!(
             "Program:\n{}",
             Base64Display::new(&program_bytes, &STANDARD)
@@ -89,7 +89,7 @@ fn run() -> Result<(), String> {
             Base64Display::new(&witness_bytes, &STANDARD)
         );
     } else {
-        let program_bytes = compiled.commit().encode_to_vec();
+        let program_bytes = compiled.commit().to_vec_without_witness();
         println!(
             "Program:\n{}",
             Base64Display::new(&program_bytes, &STANDARD)