--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on April 2009 ---
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