package goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation.
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-cil-1.7.3.tar.gz
sha256=e912d04387532d44e752463b73c6fe575091eb119b6d75aa6103f243c18a542e
md5=77b8d863893215275e6b8f7f0e055e3e