release: 0.5.1 (#139)

Author: mkovaxx

CHANGELOG.md

@@ -5,6 +5,21 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## 0.5.1 (2026 May 29)
+
+### Fixed
+
+- **[anodized] Removed a prototyping leftover from trait narrowing build-fail tests**.
+
+### Changed
+
+- **[anodized] Test suite cleanup for Clippy compliance** - Updated test code patterns and lint allowances in test files (#136).
+- **[workspace] Updated repository URLs after ownership transfer** - Crate metadata, README links/badges, and diagnostics issue links now point to `anodized-rs/anodized` (#138).
+
+### Documentation
+
+- **[anodized] README refinements** - Clarified project positioning, ecosystem fit, and relationship to existing efforts (#137).
+
 ## 0.5.0 (2026 May 28)
 
 ### Breaking Changes

Cargo.toml

@@ -9,7 +9,7 @@ members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.5.0"
+version = "0.5.1"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/anodized-rs/anodized"
@@ -27,9 +27,9 @@ keywords = [
 ]
 
 [workspace.dependencies]
-anodized-core = { version = "0.5.0", path = "crates/anodized-core" }
-anodized-logic = { version = "0.5.0", path = "crates/anodized-logic" }
-anodized-macros = { version = "0.5.0", path = "crates/anodized-macros" }
+anodized-core = { version = "0.5.1", path = "crates/anodized-core" }
+anodized-logic = { version = "0.5.1", path = "crates/anodized-logic" }
+anodized-macros = { version = "0.5.1", path = "crates/anodized-macros" }
 num-bigint = "0.4.6"
 proc-macro2 = { version = "1.0", features = ["span-locations"] }
 quote = "1.0"

crates/anodized/README.md

@@ -30,7 +30,7 @@ Write preconditions, postconditions, loop invariants, and type refinements direc
 
 ```toml
 [dependencies]
-anodized = { version = "0.5.0" }
+anodized = { version = "0.5.1" }
 ```
 
 **2. Extend your code with specs.**