chore(jingle): release v0.5.4

Author: toolCHAINZ

jingle/CHANGELOG.md

@@ -7,6 +7,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.4](https://github.com/toolCHAINZ/jingle/compare/jingle-v0.5.3...jingle-v0.5.4) - 2026-02-04
+
+### Added
+
+- Implement JingleDisplay for SmtValuationState ([#157](https://github.com/toolCHAINZ/jingle/pull/157))
+
 ## [0.5.3](https://github.com/toolCHAINZ/jingle/compare/jingle-v0.5.2...jingle-v0.5.3) - 2026-02-03
 
 ### Added

jingle/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "jingle"
-version = "0.5.3"
+version = "0.5.4"
 edition = "2024"
 description = "SMT Modeling for Ghidra's PCODE"
 homepage = "https://github.com/toolCHAINZ/jingle"