The following libraries make up Goblint's main codebase.
Goblint_lib
Main library.This library currently contains the majority of Goblint and is in the process of being split into smaller libraries.
This unwrapped library contains various configuration modules extracted from Goblint_lib
.
This unwrapped library contains various common modules extracted from Goblint_lib
.
This unwrapped library contains various domain modules extracted from Goblint_lib
.
This unwrapped library contains various value domain modules extracted from Goblint_lib
.
This unwrapped library contains various constraint system modules extracted from Goblint_lib
.
Goblint_solver
Generic solvers for (side-effecting) constraint systems.This unwrapped library contains various library specification modules extracted from Goblint_lib
.
This unwrapped library contains various incremental modules extracted from Goblint_lib
.
The following libraries provide extensions to other OCaml libraries.
Goblint_std
OCaml library extensions which are completely independent of Goblint.The following libraries provide goblint
package metadata for executables.
Goblint_build_info
Goblint build info.The following libraries provide utilities which are completely independent of Goblint.
Goblint_backtrace
Backtraces with custom marks.Goblint_timing
Profiling with custom hierarchical timed sections.Goblint_tracing
Nested tracing system for debugging.The following libraries are vendored in Goblint.
Z_mlgmpidl
Conversion between Zarith and MLGmpIDL integers and rationals.