--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on September 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



Thanks Jens for this feedback !

We will try to investigate those problem on a dedicated Mac, then.
Regarding the GUI crash, do you have any additional info or idea ?

Best regards,
	Loïc.

> Le 13 sept. 2020 à 21:20, Gerlach, Jens <jens.gerlach at fokus.fraunhofer.de> a écrit :
> 
> 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
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss