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.This library is virtual and has the following implementations
This library is virtual and has the following implementations
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.