package goblint
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af
doc/index.html
goblint index
Goblint
The following libraries make up Goblint's main codebase.
Library goblint.lib
Goblint_lib
Main library.
This library currently contains the majority of Goblint and is in the process of being split into smaller libraries.
Library goblint.config
This unwrapped library contains various configuration modules extracted from Goblint_lib
.
Library goblint.common
This unwrapped library contains various common modules extracted from Goblint_lib
.
Library goblint.domain
This unwrapped library contains various domain modules extracted from Goblint_lib
.
Library goblint.cdomain.value
This unwrapped library contains various value domain modules extracted from Goblint_lib
.
Library goblint.constraint
This unwrapped library contains various constraint system modules extracted from Goblint_lib
.
Library goblint.solver
Goblint_solver
Generic solvers for (side-effecting) constraint systems.
Library goblint.library
This unwrapped library contains various library specification modules extracted from Goblint_lib
.
Library goblint.incremental
This unwrapped library contains various incremental modules extracted from Goblint_lib
.
Library extensions
The following libraries provide extensions to other OCaml libraries.
Library goblint.std
Goblint_std
OCaml library extensions which are completely independent of Goblint.
Package utilities
The following libraries provide goblint
package metadata for executables.
Library goblint.build-info
Goblint_build_info
This library is virtual and has the following implementations
- goblint.build-info.dune for native executables,
- goblint.build-info.js for js_of_ocaml executables.
Library goblint.sites
This library is virtual and has the following implementations
- goblint.sites.dune for native executables,
- goblint.sites.js for js_of_ocaml executables.
Independent utilities
The following libraries provide utilities which are completely independent of Goblint.
Library goblint.backtrace
Goblint_backtrace
Backtraces with custom marks.
Library goblint.timing
Goblint_timing
Profiling with custom hierarchical timed sections.
Library goblint.tracing
Goblint_tracing
Nested tracing system for debugging.
Library goblint.logs
Vendored
The following libraries are vendored in Goblint.
Library goblint.zarith.mlgmpidl
Z_mlgmpidl