package goblint

  1. Overview
  2. No Docs
Static analysis framework for concurrent C

Install

github.com Edit opam file

Authors

  1. V
    Vesal Vojdani
  2. K
    Kalmer Apinis
  3. M
    Martin D. Schwarz
  4. A
    Alexander Herz
  5. R
    Ralf Vogler

Maintainers

  1. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-1.0.0.tar.gz
md5=dd3ff7266e17f2772a17609d6bd960b8

Description

Published: 11 Dec 2017

Dev Dependencies

None

Used by

None

Conflicts

None