Frama-C snapshots from Gitlab, with GUI. For images without GUI, see framac/frama-c.
2.4K
Images with Frama-C including its GTK-based graphical interface (frama-c-gui).
Please see the framac/frama-c repository overview for more details about these images.
Content type
Image
Digest
sha256:0f5c7946e…
Size
1.4 GB
Last updated
over 1 year ago
docker pull framac/frama-c-gui:dev