From 7ceac7e7ba79b5095b95105285ba8dce05868475 Mon Sep 17 00:00:00 2001 From: Peter Lyons Kehl Date: Mon, 2 Nov 2026 01:02:55 -0800 Subject: [PATCH] docs: panic-never --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 36b7d1c..96bb2c5 100644 --- a/README.md +++ b/README.md @@ -24,6 +24,7 @@ Other ways to extract callgraphs or detect panics include: * [charon](https://github.com/AeneasVerif/charon) (Rust MIR exporter) * [no-panic](https://crates.io/crates/no-panic) (Linker-based panic detection) * [dont_panic](https://github.com/Kixunil/dont_panic) (Linker-based panic detection) +* [panic-never](https://github.com/japaric/panic-never) (Linker-based panic detection) Please let us know if a project is missing from this list.