--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on June 2010 ---
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