--- layout: changelog ---

Future Release [svn]

Frama-C General


Potassium Release [19.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Aorai

Plugin Eva

New Features

Bug Fix

Plugin Inout

Plugin Obfuscator

Plugin RTE


Argon Release [18.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Plugin Constant

Plugin Eva

New Features

Bug Fix

Plugin Metrics

Plugin RTE


Chlorine Release [17.1]

Frama-C General


Chlorine Release [17.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Eva

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Metrics

Plugin Occurrence

Plugin RTE

Plugin Users


Sulfur Release [16.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Callgraph

Plugin Eva

New Features

Bug Fixes

Developers Only

Plugin Metrics

Plugin Report

Plugin RTE

Plugin Scope

Plugin Slicing

Plugin Sparecode


Phosphorus Release [15.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Callgraph

Plugin Eva

New Features

Bug Fixes

Developers Only

Plugin Inout

Plugin Metrics

Plugin Obfuscator

Plugin Rte

Plugin Scope

Plugin Value

Plugin Variadic


Silicon Release [14.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Eva

New Features

Bug Fixes

Plugin From

Plugin Nonterm

Plugin Rte

Plugin Scope

Plugin Value

New Features

Bug Fixes


Aluminium Release [13.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Eva

New Features

Bug Fix

Plugin From

Plugin LoopAnalysis

Plugin Metrics

Plugin Nonterm

Plugin RTE

Plugin Sparecode

Plugin Value

New Features

Bug Fixes

Developers Only

Plugin Variadic


Magnesium Release [12.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fix

Developers Only

Plugin Callgraph

Plugin Defs

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Parsing

Plugin Report

Plugin Scope

Plugin Value

New Features

Bug Fixes

Developers Only


Sodium Release [11.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin From

Plugin Inout

Plugin Report

Plugin Rte

Plugin Semantic

New Features

Bug Fix

Plugin Slicing

Plugin Value

New Features

Bug Fixes

Developers Only


Neon Release [10.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin From

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Obfuscator

New Features

Bug Fix

Plugin PDG

Plugin Pdg

Plugin Report

Plugin RTE

Plugin Rte

Plugin Scope

Plugin Semantic

Plugin Slicing

New Features

Bug Fixes

Plugin Syntactic_callgraph

Plugin Value

New Features

Bug Fixes

Developers Only


Fluorine Release [9.2]

Plugin Value


Fluorine Release [9.1]

Frama-C General

Plugin RTE

Plugin Value


Fluorine Release [9.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Aorai

Plugin From

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Obfuscator

Plugin Pdg

Plugin Rte

New Features

Bug Fix

Developers Only

Plugin Scope

Plugin Slicing

Plugin Sparecode

Plugin Value

New Features

Bug Fixes

Developers Only


Oxygen Release [8.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Aorai

Plugin From

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Occurrence

Plugin Pdg

Plugin Report

Plugin Rte

New Features

Bug Fix

Plugin Scope

Plugin Slicing

Plugin Syntactic_callgraph

Plugin Value

New Features

Bug Fixes

Developers Only


Nitrogen Release [7.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Developers Only

Plugin Aorai

New Features

Bug Fixes

Developers Only

Plugin Dataflow

Plugin Dominators

Plugin From

Plugin Impact

Plugin Inout

New Features

Developers Only

Plugin Metrics

Plugin Occurrence

Plugin Pdg

Plugin Postdominators

Plugin Rte

Plugin Scope

Plugin Security_slicing

Plugin Semantic

Plugin Slicing

New Feature

Bug Fixes

Plugin Syntactic

Plugin Users

Plugin Value

New Features

Bug Fixes

Developers Only


Carbon Release [6.2]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Inout

Plugin Report

Plugin Slicing

Plugin Sparecode

Plugin Value

New Features

Bug Fixes

Developers Only

Plugin WP


Carbon Release [6.1]

Plugin WP


Carbon Release [6.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Plugin From

Plugin Inout

New Features

Bug Fix

Plugin Obfuscator

Plugin Occurrence

Plugin Security_slicing

Plugin Slicing

Plugin Syntactic

Plugin Value

New Features

Bug Fixes

Developers Only


Boron Release [5.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Inout

Plugin Security

Plugin Security_slicing

Plugin Slicing

Plugin Syntactic_callgraph

Plugin Value

New Features

Bug Fixes

Developers Only


Beryllium Release [4.2]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Jessie

Plugin Obfuscator

Plugin Syntactic

Plugin Syntactic_callgraph

Plugin Value


Beryllium Release [4.1]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Semantic

Plugin Syntactic_callgraph

Plugin Value


Beryllium Release [4.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Aorai

Plugin From

Plugin Impact

New Features

Bug Fixes

Plugin InOut

Plugin Inout

Plugin Jessie

New Features

Bug Fixes

Plugin Pdg

Plugin Semantic_callgraph

Plugin Slicing

Plugin Sparecode

Plugin Syntactic_callgraph

Plugin Users

Plugin Value

New Features

Bug Fixes

Developers Only


Lithium Release [3.1]

Frama-C General

New Features

Developers Only

Frama-C GUI

Plugin Impact

Plugin Jessie

Plugin Slicing

Plugin Sparecode

Plugin Value


Lithium Release [3.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Deps

Plugin Inout

Plugin Jessie

Plugin Pdg

Plugin Semantic_callgraph

Plugin Slicing

New Features

Bug Fix

Plugin Value

New Features

Bug Fixes

Developers Only


Helium Release [2.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Constfold

Plugin Impact

Plugin Metrics

Plugin Occurrence

Plugin Pdg

Plugin Slicing

Plugin Sparecode

Plugin Value


Hydrogen Release [1.3]

Frama-C General

Frama-C GUI


Hydrogen Release [1.2]

Frama-C General

New Feature

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Scope

Plugin Value


Hydrogen Release [1.1]

Frama-C General

Frama-C GUI

Plugin Occurrence

Plugin Slicing


Hydrogen Release [1.0]

Plugin First