chore(jingle): release v0.3.5 (#112)

Author: toolCHAINZ

jingle/CHANGELOG.md

@@ -7,6 +7,17 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.3.5](https://github.com/toolCHAINZ/jingle/compare/jingle-v0.3.4...jingle-v0.3.5) - 2025-12-02
+
+### Added
+
+- CTL Model Checking ([#114](https://github.com/toolCHAINZ/jingle/pull/114))
+- use default parameterization for pcodecfg ([#111](https://github.com/toolCHAINZ/jingle/pull/111))
+
+### Other
+
+- exclude examples from crates.io ([#113](https://github.com/toolCHAINZ/jingle/pull/113))
+
 ## [0.3.4](https://github.com/toolCHAINZ/jingle/compare/jingle-v0.3.3...jingle-v0.3.4) - 2025-10-23
 
 ### Added

jingle/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "jingle"
-version = "0.3.4"
+version = "0.3.5"
 edition = "2024"
 description = "SMT Modeling for Ghidra's PCODE"
 homepage = "https://github.com/toolCHAINZ/jingle"
@@ -22,7 +22,7 @@ name = "jingle"
 required-features = ["bin"]
 
 [dependencies]
-jingle_sleigh = { path = "../jingle_sleigh", version = "0.3.0" }
+jingle_sleigh = { path = "../jingle_sleigh", version = "0.3.1" }
 z3 = { version = "0.19.0" }
 z3-sys = { version = "0.10.0", optional = true }
 thiserror = "2.0"

jingle_python/Cargo.toml

@@ -15,4 +15,4 @@ extension-module = ["pyo3/extension-module"]
 
 [dependencies]
 pyo3 = "0.26"
-jingle = {path = "../jingle", features = ["pyo3", "gimli"], version = "0.3.4" }
+jingle = {path = "../jingle", features = ["pyo3", "gimli"], version = "0.3.5" }

jingle_sleigh/CHANGELOG.md

@@ -7,6 +7,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.3.1](https://github.com/toolCHAINZ/jingle/compare/jingle_sleigh-v0.3.0...jingle_sleigh-v0.3.1) - 2025-12-02
+
+### Added
+
+- CTL Model Checking ([#114](https://github.com/toolCHAINZ/jingle/pull/114))
+
 ## [0.3.0](https://github.com/toolCHAINZ/jingle/compare/jingle_sleigh-v0.2.4...jingle_sleigh-v0.3.0) - 2025-09-19
 
 ### Changed

jingle_sleigh/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "jingle_sleigh"
-version = "0.3.0"
+version = "0.3.1"
 edition = "2024"
 description = "An FFI layer for Ghidra's SLEIGH"
 homepage = "https://github.com/toolCHAINZ/jingle"