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] New Bug Tracking System

  • Subject: [Frama-c-discuss] New Bug Tracking System
  • From: dmentre at linux-france.org (David MENTRE)
  • Date: Fri, 10 Apr 2009 15:40:08 +0200
  • In-reply-to: <1239365969.7692.615.camel@localhost>
  • References: <1239362611.7692.612.camel@localhost> <3d13dcfc0904100445k22c92099h6961d2f9c5253a2f@mail.gmail.com> <1239365969.7692.615.camel@localhost>
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.