Frama-C

Joe Nelson joe at begriffs.com
Sun Jun 30 18:30:25 UTC 2019


> I am going to checkout the prover. Please put it on Frostbyte.

It's on there now. It pulled in a bunch of dependencies, shown at the
bottom of the message.

It looks like it includes "frama-c-gui," an interactive way to build
proofs. Anyone know how to run a graphical program on the frostbyte
server and connect to it remotely with X11?


frama-c-1.11p1:ocaml-4.03.0p3: ok
frama-c-1.11p1:libltdl-2.4.2p1: ok
frama-c-1.11p1:giflib-5.1.4: ok
frama-c-1.11p1:jpeg-2.0.0v0: ok
frama-c-1.11p1:tiff-4.0.9: ok
frama-c-1.11p1:png-1.6.35: ok
frama-c-1.11p1:libwebp-1.0.0: ok
frama-c-1.11p1:gd-2.2.5p0: ok
frama-c-1.11p1:graphite2-1.3.12: ok
frama-c-1.11p1:poppler-data-0.4.8: ok
frama-c-1.11p1:lcms2-2.9: ok
frama-c-1.11p1:openjp2-2.3.0: ok
frama-c-1.11p1:lzo2-2.10p0: ok
frama-c-1.11p1:cairo-1.15.12: ok
frama-c-1.11p1:poppler-0.59.0: ok
frama-c-1.11p1:libcroco-0.6.12: ok
frama-c-1.11p1:jasper-2.0.14: ok
frama-c-1.11p1:shared-mime-info-1.10p4: ok
frama-c-1.11p1:gdk-pixbuf-2.36.12: ok
frama-c-1.11p1:fribidi-1.0.5: ok
frama-c-1.11p1:harfbuzz-1.9.0: ok
frama-c-1.11p1:pango-1.42.4p0: ok
frama-c-1.11p1:librsvg-2.44.6p0: ok
frama-c-1.11p1:hicolor-icon-theme-0.17: ok
frama-c-1.11p1:gtk-update-icon-cache-3.22.30p1: ok
frama-c-1.11p1:atk-2.28.1: ok
frama-c-1.11p1:gnome-icon-theme-3.12.0p5: ok
frama-c-1.11p1:gnome-icon-theme-symbolic-3.12.0p3: ok
frama-c-1.11p1:gtk+2-2.24.32p2: ok
frama-c-1.11p1:tcl-8.5.19p3: ok
frama-c-1.11p1:tk-8.5.19p1: ok
frama-c-1.11p1:slib-3b4p0: ok
frama-c-1.11p1:guile-1.8.8p5: ok
frama-c-1.11p1:graphviz-2.36.0p11: ok
frama-c-1.11p1:libglade2-2.6.4p16v0: ok
frama-c-1.11p1:libart-2.3.21p0: ok
frama-c-1.11p1:libgnomecanvas-2.30.3p7: ok
frama-c-1.11p1:gtksourceview-2.10.5p5: ok
frama-c-1.11p1:lablgtk2-2.18.5p1: ok
frama-c-1.11p1: ok


More information about the Friends mailing list