@@ -7,6 +7,98 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
77
88## [ Unreleased]
99
10+ ## [ 0.9.2] - 2025-12-13
11+
12+ ### Added
13+
14+ - ** Effects System Expansion** (Spec 268)
15+ - Extended Stillwater effects integration across the codebase
16+ - Improved effect composition patterns for analysis pipelines
17+
18+ - ** Effects-Based Progress System** (Spec 262)
19+ - Replaced callback-based progress reporting with Stillwater effects
20+ - Cleaner separation of progress concerns from core analysis logic
21+
22+ - ** Call Graph Purity Propagation** (Spec 261)
23+ - Purity information now propagates through the call graph
24+ - Functions calling impure functions are correctly marked as impure
25+ - More accurate purity analysis across the entire codebase
26+
27+ - ** Improved Purity Display Actionability** (Spec 260)
28+ - Enhanced TUI display of purity information with actionable insights
29+ - Clearer guidance on why functions are marked pure or impure
30+
31+ - ** Match Expression CFG Modeling** (Spec 253)
32+ - Control flow graph now correctly models match expressions
33+ - Improved accuracy of data flow analysis through pattern matching
34+
35+ - ** Pattern Destructuring Support for CFG** (Spec 252)
36+ - CFG analysis now handles pattern destructuring correctly
37+ - Better tracking of variable bindings in complex patterns
38+
39+ ### Changed
40+
41+ - ** Pure Core Extraction for Unified Analysis** (Spec 265)
42+ - Extracted pure business logic from unified_analysis module
43+ - Improved testability and functional composition
44+
45+ - ** Data Flow Module Decomposition** (Spec 264)
46+ - Split monolithic data flow analysis into focused modules
47+ - Better separation of concerns in data flow analysis
48+
49+ - ** Modular CLI Structure** (Spec 267)
50+ - Decomposed main.rs into modular CLI components
51+ - Cleaner organization of command-line interface code
52+
53+ - ** TUI Actions Decomposition** (Spec 269)
54+ - Split TUI action handling into focused modules
55+ - Improved maintainability of interactive interface code
56+
57+ - ** Simplified Mutation Analysis** (Spec 257)
58+ - Reduced mutation analysis to binary signals (mutates/doesn't mutate)
59+ - Removed over-engineered complexity tracking
60+ - Clearer, more actionable mutation information
61+
62+ - ** Removed CFG Liveness Complexity** (Spec 258)
63+ - Simplified control flow graph analysis
64+ - Removed unnecessary liveness tracking overhead
65+
66+ - ** Removed Dead Store Analysis** (Spec 256)
67+ - Eliminated dead store detection which produced too many false positives
68+ - Focused analysis on higher-value signals
69+
70+ - ** Purity Analysis Relocated**
71+ - Moved purity analysis from patterns page to data flow page in TUI
72+ - More logical organization of analysis results
73+
74+ ### Fixed
75+
76+ - ** Data Flow Page Visibility**
77+ - Fixed Data Flow page not showing when purity info is available
78+ - Ensures users can access purity analysis results
79+
80+ - ** Constants False Positive in Purity Analysis** (Spec 259)
81+ - Fixed constants being incorrectly flagged in purity analysis
82+ - More accurate identification of truly impure code
83+
84+ - ** False Positive Dead Stores for Pattern Bindings**
85+ - Eliminated incorrect dead store warnings for pattern-bound variables
86+
87+ - ** Option/Collection Unwrap Elimination** (Spec 266)
88+ - Replaced unsafe unwrap calls on Options and collections with proper error handling
89+ - Improved robustness and safety
90+
91+ - ** Critical Unwrap Elimination for Lock Safety** (Spec 263)
92+ - Replaced unwrap on mutex locks with proper error handling
93+ - Prevents potential panics in concurrent code
94+
95+ ### Internal
96+
97+ - Removed escape and taint analysis from data flow module (unused complexity)
98+ - Removed dead cfg_analysis checks from display logic
99+ - Applied clippy fixes across the codebase
100+ - Cleaned up implemented spec files
101+
10102## [ 0.9.1] - 2025-12-12
11103
12104### Added
0 commit comments