--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on November 2018 ---
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