Changes in Frama-C WP by Release

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

 

 

 

 

Phosphorus Release [20170501]

WP General

WP - Ergo

WP - GUI

WP - Qed

 

 

 

 

Release WP 1.1[Silicon 20161101]

WP - WP

 

 

 

 

Release WP 1.0[Aluminium 20160502]

WP - Caveat

WP - Coq

WP - WP

 

 

 

 

Release WP 0.9[Magnesium 20151002]

WP - Caveat

WP - Coq

WP - Hoare

WP - Qed

WP - Report

WP - Typed

WP - WP

New Features

Bug Fixes

 

 

 

 

Release WP 0.8[Sodium 20150201]

WP - Cmd

WP - Gui

WP - Typed

WP - WP

 

 

 

 

Release WP 0.8[Neon 20140301]

WP - Driver

WP - Gui

WP - WP

New Features

Bug Fixes

 

 

 

 

Release WP 0.7[Fluorine 20130501]

WP - Provers

WP - Typed

WP - WP

 

 

 

 

Release WP 0.7[Fluorine 20130401]

WP - Cmd

WP - Gui

WP - Makefile

WP - Typed

WP - Why

WP - WP

 

 

 

 

Release WP 0.6[Oxygen 20120901]

WP - Cmd

WP - Coq

WP - Gui

WP - WP

New Features

Bug Fix

Developers Only

 

 

 

 

Release WP 0.5[Nitrogen 20111001]

WP - Cmd

WP - Gui

 

 

 

 

Release WP 0.4[Nitrogen 20111001]

WP - Cmd

WP - Ergo

WP - Gui

New Features

Bug Fixes

WP - Hoare

WP - Store

WP - Vampire

WP - WP

New Features

Bug Fixes

 

 

 

 

Release WP 0.3[Carbon 20110201]

WP - Cmd

WP - Coq

WP - Gui

WP - Runtime

WP - Store

WP - WP

 

 

 

 

Release WP 0.2[Carbon 20101202]

WP - Coq

WP - Gui

 

 

 

 

Release WP 0.1[Carbon 20101201]

WP - WP