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

> Also integrated with the BTS there is a public wiki. Do not hesitate to
> contribute.

What is the URL of the wiki?

Yours,
david