Home

Welcome to the Frama-C-snapshot wiki!

This wiki mainly hosts manuals for pre-releases of Frama-C. Final releases and their associated documentation are available at http://frama-c.com/download.html

Available releases:

• 20.0 (Calcium)
• 20.0-beta (Calcium)
• 19.1 (Potassium)
• 19.0 (Potassium)
• 19.0-beta2 (Potassium)
• 19.0-beta (Potassium)
• 18.0 (Argon)
• 18.0-beta (Argon)
• Chlorine-20180502
• Chlorine-20180501
• Chlorine-20180501-beta
• Sulfur-20171101
• Sulfur-20171101-beta
• Phosphorus-20170501
• 15-Phosphorus beta1