framac/frama-c repository overview

Images with opam + an OCaml compiler + Frama-C, including a few SMT solvers (Alt-Ergo, CVC4, Z3) for WP.

Runs as a non-root user (opam). Available in Debian, Fedora and Alpine images. The "default" names are Debian-based images.

The "-stripped" images are smaller versions with several non-essential OCaml components stripped. Do not try using them for anything else other than running Frama-C; their only purpose is to minimize image download size.

None of these images include the Frama-C GUI; use the framac/frama-c-gui repository for that (assuming you have a Docker setup that enables graphical applications).

"-dev" images are based on the Frama-C public development branch from https://git.frama-c.com/pub/frama-c⁠. They are uploaded occasionally, without a predefined schedule.