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)
- Subject: [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- From: dragan.stosic at gmail.com (Dragan)
- Date: Sat, 7 Sep 2013 08:30:19 +0100
- In-reply-to: <CAOGRM5ak-pzqTQCMXcxki7isRSohbGCx_N9DjC3FVCEPvYjKxA@mail.gmail.com>
- References: <CAOGRM5ak-pzqTQCMXcxki7isRSohbGCx_N9DjC3FVCEPvYjKxA@mail.gmail.com>
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>
- References:
- [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- From: dragan.stosic at gmail.com (Dragan)
- [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- Prev by Date: [Frama-c-discuss] How would one annotate a function in an external header?
- Next by Date: [Frama-c-discuss] [Jessie] loop invariant
- Previous by thread: [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- Next by thread: [Frama-c-discuss] How would one annotate a function in an external header?
- Index(es):