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

Hello David,

> On Fri, Apr 10, 2009 at 13:23, Julien Signoles <julien.signoles at cea.fr> wrote:
> > A new Bug-Tracking-System for Frama-C is available at
> > http://bts.frama-c.com. You have to create an account to login. The old
> > one on Inria GForge is now deprecated. All bugs of the old BTS have been
> > moved to the new one.
> 
> Is it possible to see the bugs without creating an account?

No it isn't.

> > Also integrated with the BTS there is a public wiki. Do not hesitate to
> > contribute.
> 
> 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.

--
Julien