Static analysis framework for C
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 25 Nov 2022
- Authors
- Maintainers
Sources
goblint-2.1.0.tbz
sha256=bfc412ec2e447eaef6f4f83892e3511ebf305593cb00561c1406be3ae8bf48e9
sha512=5f2a162e5f36bffafc9836b0d18b5b2808cecfa6bf68f83bb7d1e8b9947ac74cf07776eb09274b4b29d55c897a45a10768f0d9ed25810cf6ba2409c525e4cd4d
Dependencies
benchmark
with-test
conf-ruby
with-test
conf-gmp
>= "3"
sha
>= "1.12"
jsonrpc
>= "1.12"
odoc
with-doc
qcheck-ounit
with-test
ounit2
with-test
ppx_blob
>= "0.6.0"
ppx_deriving_yojson
>= "3.7.0"
yojson
>= "2.0.0"
zarith
>= "1.8"
batteries
>= "3.4.0"
goblint-cil
>= "2.0.1"
dune
>= "3.0"
ocaml
>= "4.10" & < "5.0"
Reverse Dependencies
Conflicts
result
< "1.5"