Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : plugin incompatible with Fluorine


Indeed we usually break some APIs at each major release, because it is hard to make Frama-C evolve without changing them. But we also provide scripts to convert plug-ins to the new version. Here you directly upgrade from nitrogen to fluorine by skipping oxygen. So you have to apply first the script bin/, and next the script bin/ provided in the corresponding source tarballs (don't know whether packagers install these scripts or not). But the chemical process to convert nitrogen to fluorine is a bit complex ;-) and it may remain some unconverted part in your code depending on what it uses. In such a case, you can post on this list what remains to change and we will help you.

Hope this helps,
Julien Signoles

De : frama-c-discuss-bounces at [frama-c-discuss-bounces at] de la part de Maria Christofi [maria.christofis at]
Date d'envoi : jeudi 22 ao?t 2013 19:22
? : Frama-C public discussion
Objet : [Frama-c-discuss] plugin incompatible with Fluorine

Hello again (it s still me....)!

After succesfully installing Frama-C Fluorine, I wanted to regain my old habits and tried to reinstall a plugin that I had developped and worked with Frama-C Nitrogen.
But I didn't manage it with an error of incompatibility with Fluorine.
Before spend any time on it, did anyone have the same kind of error and has an idea of where should I look for a solution?
(apologies for not giving more precisions...)

Thanks in advance!

Maria Christofi
-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? nettoy?e...
URL: <>