Inline plugin for Frama-C

Inlining of ACSL predicates and logic functions.

Here are the corresponding versions of Frama-C for each version of Inline:

Frama-C	Inline
v16 Sulfur	v0.2.x

Building

autoconf
./configure
make
make install

frama-c FILE -inline

where 'FILE' is the file the plugin is applied to.

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
Inline.mli		Inline.mli
Makefile.in		Makefile.in
README.md		README.md
VERSION		VERSION
configure.ac		configure.ac
inline_options.ml		inline_options.ml
inline_register.ml		inline_register.ml