Frama-C

Sam Stuewe samuel.stuewe at gmail.com
Sun Jun 30 18:48:39 UTC 2019


On June 30, 2019 1:30:25 PM CDT, Joe Nelson <joe at begriffs.com> wrote:
>> 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.
Indeed, it is written in ocaml if memory serves. 

>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?
The GUI is apparently quite handy, and X11 forwarding is a thing, but I have always personally used just the CLI.
>
>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


All the best,

-Sam


More information about the Friends mailing list