--- layout: fc_discuss_archives title: Message 95 from Frama-C-discuss on June 2009 ---
Hello Pascal, I do not assume anything, just thought that someone can help to explain the error. Sorry if my impatience was understood as obligation on your side. It was not what I wanted to show. I saw the mail from Claude March? talking about the lack of explanation in the algorithm annotations http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-June/001198.html I have to say that this, as it is, did not help me, because contains errors. Either way, Thanks, 2009/6/26 Pascal Cuoq <Pascal.Cuoq at cea.fr> > On Jun 26, 2009, at 8:05 AM, Ulisses Ara?jo Costa wrote: > > > I think this is a pertinent question that would possibly help more > > people. > > Thanks for sharing your opinion. > > You are maybe making the mistake of assuming that there is > some kind of 48h-support for Frama-C. There isn't. > > If an example from the manual does not work, > it's very likely to be a bug. > To make sure it is handled as such, report it as such. > See also > > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-January/000331.html > The address for the Bug Tracking System is: > http://bts.frama-c.com/ > > Some Frama-C developers are researchers for whom > implementation is only a secondary duty in addition > to their teaching and research obligations. They made > their implementation available. They did not commit > to provide hotline-style support for it. > See also: > > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2008-November/000780.html > > Pascal > > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -- Ulisses Ara?jo Costa - http://caos.di.uminho.pt/~ulisses/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090627/791b0143/attachment.htm