Frama-C Versions
All versions older than Frama-C v4.x - Beryllium include Why and the plug-in Jessie.
- Frama-C v31 Gallium [Beta]
- Frama-C v30 Zinc
- Frama-C v29 Copper
- Frama-C v28 Nickel
- Frama-C v27 Cobalt
- Frama-C v26 Iron
- Frama-C v25 Manganese
- Frama-C v24 Chromium
- Frama-C v23 Vanadium
- Frama-C v22 Titanium
- Frama-C v21 Scandium
- Frama-C v20 Calcium
- Frama-C v19 Potassium
- Frama-C v18 Argon
- Frama-C v17 Chlorine
- Frama-C v16 Sulfur
- Frama-C v15 Phosphorus
- Frama-C v14 Silicon
- Frama-C v13 Aluminium
- Frama-C v12 Magnesium
- Frama-C v11 Sodium
- Frama-C v10 Neon
- Frama-C v9 Fluorine
- Frama-C v8 Oxygen
- Frama-C v7 Nitrogen
- Frama-C v6 Carbon
- Frama-C v5 Boron
- Frama-C v4 Beryllium
- Frama-C v3 Lithium
- Frama-C v2 Helium
- Frama-C v1 Hydrogen