Frama-C summary
Merge pull request #255 from vprevosto/master

Frama-C summary