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] How to install Frama-C 20.0 Calcium on Windows 7

Subject: [Frama-c-discuss] How to install Frama-C 20.0 Calcium on Windows 7
From: falibert at gmail.com (Francois Alibert)
Date: Tue, 28 Jan 2020 21:24:56 +0100

Hello.

    Is there's a (if possible simple) way to make a full install, basic and
GUI,  of Frama-C 20.0 on Windows 7?
    At least, is there's a full procedure description for going this?

    Regards.

    FranÃ§ois ALIBERT.
-------------- section suivante --------------
Une piÃ¨ce jointe HTML a Ã©tÃ© nettoyÃ©e...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200128/825fd6fe/attachment.html>

Follow-Ups:
- [Frama-c-discuss] How to install Frama-C 20.0 Calcium on Windows 7
  - From: Andre.MARONEZE at cea.fr (Andre Maroneze)

Prev by Date: [Frama-c-discuss] Is it possible to use tsets returned by logic functions in assigns?
Next by Date: [Frama-c-discuss] Lemma instantiation
Previous by thread: [Frama-c-discuss] Is it possible to use tsets returned by logic functions in assigns?
Next by thread: [Frama-c-discuss] How to install Frama-C 20.0 Calcium on Windows 7
Index(es):
- Date
- Thread