--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on April 2011 ---
Le 04/04/2011 23:50, David A. Wheeler a ?crit : >> 2011/3/29 Zhao, Passion<passion.zhao at intel.com>: >>> I install the frama-c 1.4 in Fedora 12, try to use it to scan some open >>> source projects such as openssl, linux. > > David MENTRE<dmentre at linux-france.org>: >> Strange version number for Frama-C! Frama-C is using atomic elements >> names (Boron, Carbon, ...) for release number. > > Sadly, I know of no package manager which knows how to sort atomic element names. So we packagers of Frama-C on Fedora simply use "1." followed by the atomic number (= number of protons). Thus, Beryllium becomes "1.4", and so on. Then the package manager can figure out stuff like "is there a newer version available in the repository" easily. The Frama-C release number also contains a number attached to the atomic element names and usable for comparing versions. For instance, the exact version name of the last stable release is Carbon-20110201 while the exact version name of the previous stable release was Boron-20100401. As 20110201 >= 20100401, you can deduce that Frama-C Carbon is more recent than Frama-C Boron even if you don't know the Mendeleiev table. -- Julien Signoles