Commit list

Author: Analysis Tools Bot

README.md

@@ -1215,7 +1215,7 @@ Kani verifies:
 
 - [RustViz](https://github.com/rustviz/rustviz) — RustViz is a tool that generates visualizations  from simple Rust programs to assist users in better  understanding the Rust Lifetime and Borrowing mechanism. It generates SVG files with graphical indicators that integrate  with mdbook to render visualizations of data-flow in Rust programs.
 
-- [warnalyzer](https://github.com/est31/warnalyzer) — Show unused code from multi-crate Rust projects
+- **warnalyzer** :warning: — Show unused code from multi-crate Rust projects
 
 
 <a name="sql" />

data/api/tools.json

@@ -21297,7 +21297,7 @@
     "plans": null,
     "description": "Show unused code from multi-crate Rust projects",
     "discussion": null,
-    "deprecated": null,
+    "deprecated": true,
     "resources": null,
     "reviews": null,
     "demos": null,