--- layout: fc_discuss_archives title: Message 93 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



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