--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on September 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with gcc 4.8.2 and c++ std headers



Hello,

Le dim. 07 sept. 2014 16:35:31 CEST,
Christoph Thielecke <u28616 at hs-harz.de> a ?crit :

> :( When we can expect that it is supporting c++? That would be a big
> step.
> 

As a matter of fact, a prototype is being implemented in the frame of
the european (FP7) project Stance (See e.g.
http://www.stance-project.eu/media/publications/Frama-Clang_presentation_V_Prevosto__F_Vedrine.pdf
)
However, we feel that the plugin is currently too experimental to be
released. Using it on arbitrary C++ code would very probably
require a fairly important dose of support from our part, that we could
only provide in the context of a formal cooperation agreement
(e.g. collaborative research project or bilateral contract). Interested
people can contact us directly at support at frama-c.com to discuss how we
can work together.

Best regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile