Using Frama-C v31.0

This release updates the plugin to use Frama-C version 31.0

Using Frama-C v29

This release is updated to use Frama-C version 29. This breaks backwards compatibility.

struct support

Interface Specification Propagator now supports struct datatypes in function arguments and return values . Also, the generated annotations are no longer placed in a separate behavior since this caused problems with the Frama-C WP plugin.

Initial release

First public release of the Frama-C Interface Specification Propagator plugin.