v0.4.0

[cordx56]

Update Summary

• Introduce a new analysis method for faster, more accurate lifetime visualization
• Up to 1.5× faster analysis compared to v1.0.0-rc.1 (benchmarked by analyzing RustOwl itself)
• Split lifetimes into two categories: definitely live and maybe live

Details

   🚨 Breaking Changes

• Move installation docs to README  -  by @MuntasirSZN (31eb0)
• Multiple Rust version support  -  by @cordx56 in feat!: multiple Rust version support #504 (aa777)
• Live range calculation now uses StorageLive/StorageDead and shows correct ranges  -  by @cordx56 in fix!: live range calculation now uses StorageLive/StorageDead #514 (60ef1)
• Polonius subset calculation algorithm  -  by @cordx56 in fix!: Polonius subset calculation algorithm #524 (9722e)
• analyzer:
  • Analyzer refactoring and performance improvement  -  by @cordx56 in refactor(analyzer)!: analyzer refactoring and performance improvement #363 (dbec4)
• build:
  • Update build process and use rustowl archive  -  by @cordx56 in feat(build)!: update build process and use rustowl archive #340 (d3988)
• core-analyzer:
  • Refactor and change must-lives calculation algorithm  -  by @cordx56 in refactor(core-analyzer)!: refactor must-lives calculation algorithm #407 (d95b4)
• lsp:
  • Separate analyzers  -  by @cordx56 in refactor(lsp)!: separate analyzers #367 (5ad0f)
  • Improve VS Code experience  -  by @cordx56 (f0525)

   🚀 Features

• Winget package  -  by @MuntasirSZN in feat: winget package #178 (d24b0)
• Consolidate and enhance CI workflows by replacing check.yaml with checks.yml and adding a development checks script  -  by @avifenesh in feat: consolidate and enhance CI workflows by replacing check.yaml wi… #233 (52502)
• Add security and memory safety testing workflow  -  by @avifenesh in Add security and memory safety testing workflow #234 (f1407)
• Enhance CLI command handling with options for all targets and features  -  by @avifenesh in Made all targets and all feature optionals #225 (b0ce9)
• Update to rustc 1.88.0  -  by @MuntasirSZN (512de)
• Add docker image  -  by @MuntasirSZN (01726)
• Add vscode tests, migrate to zod v4, format code  -  by @MuntasirSZN in feat: add vscode tests, migrate to zod v4, format code #330 (2357d)
• Bump rustc to 1.89.0  -  by @cordx56 (41b20)
• Commitlint in script  -  by @MuntasirSZN (85b45)
• Use rustowl/analyze in nvim  -  by @cordx56 (e3e29)
• Use rustowl/analyze in emacs  -  by @cordx56 (8dcb7)
• Implement CLI underline show command  -  by @cordx56 and @MuntasirSZN in feat: implement CLI underline show command #509 (ba14e)
• Support Rust 1.94.0  -  by @cordx56 in feat: support Rust 1.94.0 #548 (5f881)
• Add installer script  -  by @cordx56 in feat: add installer script #567 (a894c)
• Toolchain installation progress bar  -  by @cordx56 in feat: toolchain installation progress bar #569 (84b3f)
• New lifetime visualization algorithm based on CFG analysis  -  by @cordx56 in feat: new lifetime visualization algorithm based on CFG analysis #595 (e89f3)
• Implement new precise lifetime visualization plugin for editors  -  by @cordx56 in feat: implement new precise lifetime visualization plugin for editors #600 (2d1dd)
• Support Rust 1.95.0  -  by @cordx56 in feat: support Rust 1.95.0 #613 (7e20a)
• build:
  • Add consistent build script  -  by @cordx56 in feat(build): add consistent build script #336 (98dd3)
• cache:
  • Implement cache mechanism  -  by @cordx56 in feat(cache): Implement cache mechanism #361 (0a577)
• config:
  • Add configurable highlight colors for neovim plugin  -  by @MuntasirSZN (3a65d)
• neovim:
  • Prevent analyzing when disabled  -  by @cordx56 (d5358)
  • Ensure color config falls back to defaults using deep merge  -  by @MuntasirSZN (5c30d)
• perf-tests:
  • Memory fixes  -  by @avifenesh in Memory fixes #226 (a614c)
• performance:
  • Add rustc-threads option  -  by @cordx56 in feat(performance): add rustc-threads option #491 (bbb0a)
• toolchain:
  • New toolchain installer  -  by @cordx56 in feat(toolchain): new toolchain installer #320 (4da55)
  • Install cargo on toolchain installation  -  by @cordx56 in feat(toolchain): install cargo on toolchain installation #334 (9915a)

   🐞 Bug Fixes

• Add mkdir command  -  by @MuntasirSZN (a55eb)
• Call vscode bootstrap only when RustOwl is downloaded  -  by @cordx56 in fix: call vscode bootstrap only when RustOwl is downloaded #309 (10c2f)
• Visualize inside async function  -  by @cordx56 in fix: visualize inside async function #327 (000fc)
• Visualize wrong range, caused by byte check  -  by @cordx56 in fix: visualize wrong range, caused by byte check #325 (38f89)
• Add skip installing RustOwl toolchain option on toolchain installation  -  by @cordx56 in fix: add skip installing RustOwl toolchain option #342 (c90b4)
• Eslint:  -  by @MuntasirSZN (6ed6f)
• Yarn  -  by @MuntasirSZN (a5c84)
• Yarn  -  by @MuntasirSZN (62597)
• Yarn  -  by @MuntasirSZN (8f068)
• Revert  -  by @MuntasirSZN (2e16f)
• Commitlint  -  by @MuntasirSZN (bbe4d)
• Run toolchain install BEFORE cache see https://github.com/Swatinem/rust-cache  -  by @MuntasirSZN (966bd)
• Cache only on main (we are reaching 10gb)  -  by @MuntasirSZN (cbfdb)
• Emacs rustowl/analyze  -  by @cordx56 (a95fd)
• Emacs fixed (by GPT-5)  -  by @cordx56 (5b057)
• Analysis on check failure  -  by @cordx56 in fix: analysis on check failure #379 (0e133)
• No need to pass frozen-lockfile in ci  -  by @MuntasirSZN (4508b)
• Block scalar in action-setup  -  by @MuntasirSZN (eeffc)
• Lockfile:  -  by @MuntasirSZN (dff02)
• Terminate range bug  -  by @cordx56 in fix: terminate range bug #508 (7c102)
• Use macos-15-intel in build actions  -  by @cordx56 in fix: use macos-15-intel in build actions #511 (28150)
• Select boxes are is considered as task list  -  by @cordx56 in fix: select boxes are is considered as task list #520 (ff2a5)
• Lto in windows, rustc allocator  -  by @cordx56 in fix: lto in windows, rustc allocator #519 (69f1a)
• Support more MIR statement (e.g. aggregate rval)  -  by @cordx56 in fix: support more MIR statement (e.g. aggregate rval) #612 (bcec5)
• alloc:
  • Properly setup mimalloc  -  by @MuntasirSZN (07bff)
  • Move to jemalloc as rustc does  -  by @MuntasirSZN in fix(alloc): move to jemalloc as rustc does #335 (592cd)
• analyzer:
  • Fix async blocking and panic  -  by @cordx56 (6d35c)
• benchmarks:
  • Increase measurement and warm-up time for benchmark tests  -  by @avifenesh (a7cc2)
• bencmarks:
  • Fix benchmarks script to calculate result correctly, and increased the amount of iteration for more precise results  -  by @avifenesh (57327)
• ci:
  • Eval echo in new toolchain script  -  by @cordx56 in fix(ci): eval echo in new toolchain script #579 (d7cbf)
  • Release workflow ref  -  by @cordx56 in fix(ci): release workflow ref #620 (3f26d)
  • Release CI  -  by @cordx56 in fix(ci): release CI #621 (41521)
• core-analyzer:
  • Fix analyze locations and refactor  -  by @cordx56 (576ea)
  • Fix locked block_on  -  by @cordx56 (93aef)
• deps:
  • Update tar dependency to version 0.4  -  by @avifenesh (208ba)
• docs:
  • Fix Emacs document  -  by @cordx56 (a2481)
• lsp-backend:
  • Set target dir to [target]/owl  -  by @cordx56 (c4a88)
  • Kill unnecessary processes  -  by @cordx56 (32f5e)
• neovim:
  • Set inclusive false  -  by @cordx56 (6f5c7)
• rustc:
  • New 1.88.0, bump version in ci  -  by @MuntasirSZN in fix(rustc): new 1.88.0, bump version in ci #300 (38f72)
• windows:
  • Zip now contains a top level dir  -  by @MuntasirSZN in fix(windows): zip now contains a top level dir #341 (584c2)
  • Add turbofish arguments in visualize to make trait solver happy  -  by @MuntasirSZN and @cordx56 in fix(windows): add turbofish arguments in visualize to make trait solver happy #518 (40719)

    View changes on GitHub

---

This discussion was created from the release v0.4.0.