Changes in Frama-C WP by Release

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

 

 

 

 

Release WP 0.5[Nitrogen 20111001]

WP - Gui

WP - WP

 

 

 

 

Release WP 0.4[Nitrogen 20111001]

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