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)

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