Changes in Frama-C by Release

  • new feature
  • bug fix
  • plug-in developers
  • compatibility break
  • private bts entries

 

 

 

 

Neon Release [20140301]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Doc

Plugin From

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Inout

Plugin Lib

Plugin Metrics

Plugin Obfuscator

New Features

Bug Fix

Plugin PDG

Plugin Pdg

Plugin Ptests

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

Plugin WP

New Features

Bug Fixes

 

 

 

 

Fluorine Release [20130601]

Plugin Value

 

 

 

 

Fluorine Release [20130501]

Frama-C General

Plugin RTE

Plugin Value

Plugin WP

 

 

 

 

Fluorine Release [20130401]

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

Plugin WP

New Features

Bug Fix

 

 

 

 

Oxygen Release [20120901]

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

Plugin WP

New Features

Bug Fixes

Developers Only

 

 

 

 

Nitrogen Release [20111001]

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 Ptests

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

Plugin WP

New Features

Bug Fixes

 

 

 

 

Carbon Release [20110201]

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

New Features

Bug Fixes

 

 

 

 

Carbon Release [20101202]

Plugin WP

 

 

 

 

Carbon Release [20101201]

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 Ptests

Plugin Security_slicing

Plugin Slicing

Plugin Syntactic

Plugin Value

New Features

Bug Fixes

Developers Only

Plugin WP

 

 

 

 

Boron Release [20100401]

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 [20090902]

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 [20090901]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Semantic

Plugin Syntactic_callgraph

Plugin Value

 

 

 

 

Beryllium Release [20090601]

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 [20081201]

Frama-C General

New Features

Developers Only

Frama-C GUI

Plugin Impact

Plugin Jessie

Plugin Slicing

Plugin Sparecode

Plugin Value

 

 

 

 

Lithium Release [20081002]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Deps

Plugin Inout

Plugin Jessie

Plugin Pdg

Plugin Ptests

Plugin Semantic_callgraph

Plugin Slicing

New Features

Bug Fix

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Helium Release [20080701]

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 [20080502]

Frama-C General

Frama-C GUI

 

 

 

 

Hydrogen Release [20080501]

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 [20080302]

Frama-C General

Frama-C GUI

Plugin Occurrence

Plugin Slicing

 

 

 

 

Hydrogen Release [20080301]

Plugin First