Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Licensing clarification re: Q Modified License



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