--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on January 2010 ---
Hello, On Jan 15, 2010, at 5:19 PM, Alan Dunn wrote: > Can someone clarify the part about the Q modified license > (licenses/Q_MODIFIED_LICENSE) included in the Frama C distribution? > There are files that cite this license, but the beginning of its text > doesn't seem to make sense in the context of these files. The files that cite this license are external/ptmap.ml{,i}. These is indeed the exact set of files covered by this license inside Frama-C Beryllium 2. > Looking at the license file, it describes two parts "the Library", a > file standard.mly, which doesn't seem to be in the distribution, and > "the Generator", which is "all files marked 'Copyright INRIA' in the > main directory", which appears to be the Makefile and config files, > despite the fact that these are marked as LGPL v2.1. Neither of these > seems right. For reference I am referring to the Frama-C Beryllium 2 > source distribution without Jessie. Sorry about the confusion here. These files were taken from Menhir (as stated in each file's header). The license file was taken as-is, and this is why it does not seem to make much sense. - "the Library" was not copied from Menhir at all. - "the Generator" is a set of files in Menhir including ptmap.ml and ptmap.mli, among other files that were not copied at all. Note that the functions provided by files ptmap.ml{,i} were heavily modified in order to obtain the exact flavor of Patricia trees that was needed for Frama-C. Pascal