package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Goblint build info.

val ocaml_flambda : string

OCaml compiler flambda status.

val dune_profile : string

Dune profile.

val git_version : string

Goblint version from git.

val release_version : string

Goblint version from release archive.

val release_commit : string

Goblint git commit from release archive.

val version : string

Goblint version.

val statically_linked_libraries : (string * string option) list

Statically linked libraries with versions.

val datetime : string

Build date and time.

OCaml

Innovation. Community. Security.