--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on May 2015 ---
I've seen in a frama-c tutorial that simplify, even being discontinued, is the most powerfull prover to deal with frama-c. I've downloaded the latest version from http://kindsoftware.com/products/opensource/archives/ but it seems that why3 doesn't recognize it as the newer version: Found prover Simplify version 1.5.4 (old version, please consider upgrading). 2015-05-01 4:35 GMT-03:00 Claude Marche <Claude.Marche at inria.fr>: > > > On 04/25/2015 08:14 PM, Allberson Dantas wrote: > > But every time I want to prove something using it, the vc's proof reach > > timeout. > > > > How to solve it? > > Do not use Simplify anymore ? > > - Claude > > -- > Claude March? | tel: +33 1 69 15 66 08 > INRIA Saclay - ?le-de-France | > Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ > F-91405 ORSAY Cedex | > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -- Allberson Dantas [Doutorando em Ci?ncia da Computa??o - UFC] [Analista de Sistemas do Serpro - Servi?o Federal de Processamento de Dados] -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150501/9e7c6c97/attachment.html>