deadlockversion

Frama-C plugin for deadlock detection

AuthorsTomáš Dacík <xdacik00@stud.fit.vutbr.cz> and Tomáš Vojnar <vojnar@fit.vutbr.cz>
LicenseMIT
Published
Homepagehttps://github.com/TDacik/Deadlock
Issue Trackerhttps://github.com/TDacik/Deadlock/issues
MaintainerTomáš Dacík <xdacik00@stud.fit.vutbr.cz>
Dependencies
Source [http] https://github.com/TDacik/Deadlock/archive/refs/tags/1.0.1.tar.gz
sha256=0eabef76214f8e7b393a65d97218edd0e727ecf25bd7acbc20348cde15138397
md5=fa1302e9f6586ba535838c23bfbffea8
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/deadlock/deadlock.1.0/opam
No package is dependent