--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on April 2011 ---
Hello Julien and David, > Le 04/04/2011 23:50, David A. Wheeler a ?crit : >> 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. I did not know about that (or forgot about it). Thank you for the explanation. You might have attached some string after the release number like 1.4-beryllium so mere mortals could understand it. ;-) 2011/4/5 Julien Signoles <Julien.Signoles at cea.fr>: > 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. <rant> This might be good for packagers and package managers, but not for mere mortals. Everybody understands the semantics of "major.minor". Everything else is a pain. /.*@ predicate Understandable_software_version_number{L}(integer major, integer minor) = 0 <= major && 0 <= minor */ </rant> Best regards, david