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 common 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 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.The following libraries are vendored in Goblint.
Z_mlgmpidl