package deadlock

  1. Overview
  2. No Docs
Frama-C plugin for deadlock detection

Install

github.com Edit opam file

Authors

  1. T
    Tomáš Dacík <xdacik00@stud.fit.vutbr.cz>
  2. T
    Tomáš Vojnar <vojnar@fit.vutbr.cz>

Maintainers

  1. T
    Tomáš Dacík <xdacik00@stud.fit.vutbr.cz>

Sources

1.0.1.tar.gz
md5=fa1302e9f6586ba535838c23bfbffea8

Description

Published: 07 Oct 2021

Dependencies (4)

  1. containers
  2. ounit2
  3. frama-c >= "23.1" & < "25.0~"
  4. ocaml >= "4.12.0"

Dev Dependencies

None

Used by

None

Conflicts

None