Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
I am looking to do some experimenting with the Frama-C open source project and would like to install the tools on a Windows 7 machine. It looks like previous versions have binary installers for Windows, but the latest version, Nitrogen, only has the source code available. The website for the project frama-c.com says that these should be available but I don’t see them on their download page. Are binary installers available somewhere else?
You will find here instructions to install a binary version of Frama-C Nitrogen, the latest version as of this writing. It installs on top of the older version Boron, and upgrades it to Nitrogen.