dev-util/cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
ChangeLog
commit 9d60ff4f00f4c13865847113bed9cb3179a2c6f6
Author: Miezhiko <Miezhiko@gmail.com>
Date: Tue Jan 14 10:51:08 2025 +0400
new year thing
Signed-off-by: Miezhiko <Miezhiko@gmail.com>
commit 659d6f53ffe12221002001fd7d536d5c9f99e53d
Author: Miezhiko <Miezhiko@gmail.com>
Date: Thu Aug 8 10:52:12 2024 +0400
dev-util/cargo-check-deadlock: rust deadlock detecting util
Signed-off-by: Miezhiko <Miezhiko@gmail.com>
Author: Miezhiko <Miezhiko@gmail.com>
Date: Tue Jan 14 10:51:08 2025 +0400
new year thing
Signed-off-by: Miezhiko <Miezhiko@gmail.com>
commit 659d6f53ffe12221002001fd7d536d5c9f99e53d
Author: Miezhiko <Miezhiko@gmail.com>
Date: Thu Aug 8 10:52:12 2024 +0400
dev-util/cargo-check-deadlock: rust deadlock detecting util
Signed-off-by: Miezhiko <Miezhiko@gmail.com>