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

[Frama-c-discuss] New Bug Tracking System



Hello Julien,

On Fri, Apr 10, 2009 at 14:19, Julien Signoles <julien.signoles at cea.fr> wrote:
> David Mentr? :
>> Is it possible to see the bugs without creating an account?
>
> No it isn't.

It is annoying (e.g. no Google indexing of bug reports, no ability to
browse bugs without creating an account, etc.).

>> What is the URL of the wiki?
>
> There is no direct URL. You have to have an account on the bts because
> the authentification is shared. From the bts, there is a link "wiki" to
> follow.

I don't know if this wiki is intended as the public wiki that was
requested on this list and discussed at the 31th of March meeting. But
if this is the case, this wiki is far from the being the public and
easily editable source of information on Frama-C I was thinking of.

I know, I know, users are never happy. ;-)

Yours,
david

PS: I should probably install a wiki for Frama-C on my own website
instead of complaining.