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 13:45:53 +0200
  • In-reply-to: <1239362611.7692.612.camel@localhost>
  • References: <1239362611.7692.612.camel@localhost>
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