chore: release (#136)

* chore: release

* chore: release

* bump

Author: toolCHAINZ

jingle/CHANGELOG.md

@@ -7,6 +7,19 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/toolCHAINZ/jingle/compare/jingle-v0.4.2...jingle-v0.5.0) - 2026-01-28
+
+### Added
+
+- [**breaking**] SMT valuation analysis ([#135](https://github.com/toolCHAINZ/jingle/pull/135))
+- specialized varnode map data structure, analysis refactor ([#134](https://github.com/toolCHAINZ/jingle/pull/134))
+- Allow Location Lattice Elements in CFGs ([#132](https://github.com/toolCHAINZ/jingle/pull/132))
+
+### Other
+
+- Trait Cleanup and PcodeOpRef ([#133](https://github.com/toolCHAINZ/jingle/pull/133))
+- Analysis Refactoring ([#129](https://github.com/toolCHAINZ/jingle/pull/129))
+
 ## [0.4.2](https://github.com/toolCHAINZ/jingle/compare/jingle-v0.4.1...jingle-v0.4.2) - 2025-12-21
 
 ### Fixed

jingle/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "jingle"
-version = "0.4.2"
+version = "0.5.0"
 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.4.1" }
+jingle_sleigh = { path = "../jingle_sleigh", version = "0.4.2" }
 z3 = { version = "0.19.0" }
 z3-sys = { version = "0.10.0", optional = true }
 thiserror = "2.0"

jingle_python/Cargo.toml

@@ -18,4 +18,4 @@ extension-module = ["pyo3/extension-module"]
 
 [dependencies]
 pyo3 = "0.27.2"
-jingle = {path = "../jingle", features = ["pyo3", "gimli"], version = "0.4.2" }
+jingle = {path = "../jingle", features = ["pyo3", "gimli"], version = "0.5.0" }

jingle_sleigh/CHANGELOG.md

@@ -7,6 +7,18 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.4.2](https://github.com/toolCHAINZ/jingle/compare/jingle_sleigh-v0.4.1...jingle_sleigh-v0.4.2) - 2026-01-28
+
+### Added
+
+- specialized varnode map data structure, analysis refactor ([#134](https://github.com/toolCHAINZ/jingle/pull/134))
+- Allow Location Lattice Elements in CFGs ([#132](https://github.com/toolCHAINZ/jingle/pull/132))
+
+### Other
+
+- Trait Cleanup and PcodeOpRef ([#133](https://github.com/toolCHAINZ/jingle/pull/133))
+- Analysis Refactoring ([#129](https://github.com/toolCHAINZ/jingle/pull/129))
+
 ## [0.4.1](https://github.com/toolCHAINZ/jingle/compare/jingle_sleigh-v0.4.0...jingle_sleigh-v0.4.1) - 2025-12-21
 
 ### Fixed

jingle_sleigh/Cargo.toml

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