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] Which version of Frama-C/Why to use PVS ? (Jessie or WP)



Hi Guillaume & all
Actually I have installed why-2.32 and it works perfect.
frama-c jessie foo.c opens why3

Regards




On Fri, Sep 6, 2013 at 6:39 PM, Dragan <dragan.stosic at gmail.com> wrote:

> I have successfully installed frama-c Oxygen, why3 platform and PVS 6.0
>  on my Ubuntu 12.04.
> As per response on (
> http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2012-December/003476.html
> ),
> I need jessie-for-oxygen in order to provide support for PVS 6.0 .
> I have downloaded from  svn link as username guest and password guest.
> However
> there is no configure file suggested in the INSTALL document.
> I am wondering  how to install jessie-for-oxygen ? Can you please provide
> configure file missed in the  jessie-for-oxygen branch.
> Thanks in advance
>
> --
> Dragan Stosic
> Senior developer at IBM
> phone: 085-773-1050
> e-mail: dragan.stosic at gmail.com
> e-mail:DRAGANST at ie.ibm.com
> IBM Technology Campus
> Damastown Industrial Estate
> Mulhuddart
> Dublin 15
> Ireland
>



-- 
Dragan Stosic
Senior developer at IBM
phone: 085-773-1050
e-mail: dragan.stosic at gmail.com
e-mail:DRAGANST at ie.ibm.com
IBM Technology Campus
Damastown Industrial Estate
Mulhuddart
Dublin 15
Ireland
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130907/da80fd79/attachment-0001.html>