--- layout: fc_discuss_archives title: Message 49 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,

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