Dear all,
We are
pleased to announce the new release of the Frama-C Development Tooling (FCDT)
plug-in version v 1.2.
The FCDT
plug-in permits developers to use the static analysis tools provided by Frama-C
from directly within the Eclipse framework.
This
release, compatible with Eclipse Indigo and Frama-C Nitrogen, includes:
- Bug #4063 (makefile in subdir)
- Improvement of ACSL editor in C code
- New Preferences (for Codan launching mode) Setting page with dynamic update with Frama-C features (linux only)
- Frama-C configuration (for Codan launching mode) in project properties
It is
available on:
Downloads:
Best
regards
FCDT Team
