--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Boron + Why 2.26 windows distribution



Dear Frama-C users,

A binary distribution for Windows gathering Frama-C Boron 20100401, Why
2.26, and Alt-Ergo 0.91 is available at http://frama-c.com/download.html

Note that you'll still need an external C pre-processor to use Frama-C
(or use already pre-processed files ending in .i).

Best regards,
-- 
Virgile Prevosto
Ing?nieur-Chercheur, CEA, LIST
Laboratoire de S?ret? des Logiciels
+33/0 1 69 08 82 98