--- layout: fc_discuss_archives title: Message 49 from Frama-C-discuss on April 2009 ---
Hello, 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. Also integrated with the BTS there is a public wiki. Do not hesitate to contribute. Best regards, For the Frama-C development team, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr