2 posts
SplitRS 0.3.2 adds an SMT-verified extraction pass: it factors pure integer sub-blocks out of over-budget functions and commits the rewrite only when OxiZ proves the result is equivalent for all inputs. Plus array-splitting, a test-module splitter, shipped editor plugins, and 450 passing tests.
SplitRS is the AST-based Rust refactoring tool that splits monolithic source files into clean, compilable modules. 0.3.1 ships splitrs-lsp — a language server with diagnostics, a Refactor with splitrs code action, and live config watch — so the split happens right inside Neovim, Helix, or VS Code.