--- layout: fc_discuss_archives title: Message 95 from Frama-C-discuss on June 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Selection Sort loop-invariant problem



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