--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on November 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C 18 (Argon) - beta



Hi Jens,

Thanks for your early feedbacks. I partially replied on the Github issue, but here is our recommandations (the one we are actually using) :
 - why3 0.88.3
 - alt-ergo 1.30 or 2.0.0 (pay attention to the licence of Alt-Ergo 2.0.0 and higher)
 - coq 8.7.1 or 8.7.2 (why3 complains on 8.7.2 but we are using as our default and it shall be ok)

The configure for Frama-C/WP shall verify these contraints and complain if not met.

Regards,
	L.

> Le 2 nov. 2018 à 08:12, Gerlach, Jens <jens.gerlach at fokus.fraunhofer.de> a écrit :
> 
> Hello,
> 
> thanks a lot for providing a pre-release of Frama-C 18.
> Regarding WP, which version of Why3 is recommended for WP?
> With Frama-C 17, WP only worked (at least in my case) with version 0.88.3 of Why3.
> Does this still hold?
> 
> 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