deadlockversion
Frama-C plugin for deadlock detection
| Authors | Tomáš Dacík <xdacik00@stud.fit.vutbr.cz> and Tomáš Vojnar <vojnar@fit.vutbr.cz> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/TDacik/Deadlock |
| Issue Tracker | https://github.com/TDacik/Deadlock/issues |
| Maintainer | Tomáš Dacík <xdacik00@stud.fit.vutbr.cz> |
| Available | false |
| Dependencies |
|
| Source [http] | https://github.com/TDacik/Deadlock/archive/refs/tags/1.0.1.tar.gz sha256=0eabef76214f8e7b393a65d97218edd0e727ecf25bd7acbc20348cde15138397 md5=fa1302e9f6586ba535838c23bfbffea8 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/deadlock/deadlock.1.0/opam |
No package is dependent
