Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C on macOS (Big Sur beta)

  • Subject: [Frama-c-discuss] Frama-C on macOS (Big Sur beta)
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
  • Date: Sun, 13 Sep 2020 19:20:54 +0000
Hello Frama-C users on macOS,

As I am using Frama-C most of the time on macOS I have tried to install it on the beta release
of the upcoming macOS version „Big Sur“ (a.k.a 11.0).
After some failures, I am now able to install Frama-C using opam and homebrew.
The Frama-C GUI (for WP) crashes when selecting „All Goals"  but the command line version can 
process „ACSL by Example“ (https://github.com/fraunhoferfokus/acsl-by-example) without ptoblems

Regarding provers, I could not yet install CVC4 because installation with homebrew fails.
For "ACSL by Example“ this is currently not an issue since all proof obligations are discharged by a combination
of alt-ergo, z3, and coq.

Regards

Jens