[Bug 564520] Review Request: frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=564520

--- Comment #7 from David A. Wheeler <dwheeler at dwheeler.com> 2010-02-15 20:10:39 EST ---
Note: The latest version of Frama-C is actually "Beryllium 2".  If we switch to
using numeric version numbering beginning with "0.", then I think "Beryllium 2"
should translate to version number "0.4.2".

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.